Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Departamento
![Foto de Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)](/img/noimage.png)
![Foto de Hungarian Academy of Sciences](/img/noimage_org.png)
Hungarian Academy of Sciences
Budapest, HungríaPublicaciones en colaboración con investigadores/as de Hungarian Academy of Sciences (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)