Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Saila
Hungarian Academy of Sciences
Budapest, HungríaHungarian Academy of Sciences-ko ikertzaileekin lankidetzan egindako argitalpenak (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)