JESUS ALBERTO
LOPEZ FERNANDEZ
Profesor Titular de Universidad
Centro de Investigación y de Estudios Avanzados
Mexico, MéxicoPublicacións en colaboración con investigadores/as de Centro de Investigación y de Estudios Avanzados (1)
2007
-
A μ-calculus approach for the synthesis of discrete-event supervisors with safety specifications
2007 4th International Conference on Electrical and Electronics Engineering, ICEEE 2007