Publications in collaboration with researchers from Universidad Politécnica de Valencia (2)

2012

  1. Model-based validation of industrial control systems

    IEEE Transactions on Industrial Informatics, Vol. 8, Núm. 2, pp. 302-310