Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Saila
![Foto de Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)](/img/noimage.png)
![Foto de Budapest University of Technology and Economics](/img/noimage_org.png)
Budapest University of Technology and Economics
Budapest, HungríaBudapest University of Technology and Economics-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
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)
2007
-
Developments on the line surge arresters application guide prepared by the CIGRE WG C4 301
International CIGRE Zagreb Symposium 2007: Transient Phenomena in Large Electric Power Systems