MODELADO, INSPECCIÓN, DIAGNÓSTICO Y AUTOMATIZACIÓN DE SISTEMAS INDUSTRIALES
MIDAS
Budapest University of Technology and Economics
Budapest, HungríaPublications en collaboration avec des chercheurs de Budapest University of Technology and Economics (1)
2014
-
Formal verification of complex properties on PLC programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)