Cím | Formal verification of complex properties on PLC programs |
Közlemény típusa | Book Chapter |
Kiadás éve | 2014 |
Szerzők | Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M. |
Szerkesztő | Ábrahám, E., and Palamidessi, C. |
Könyvcím | Formal Techniques for Distributed Objects, Components, and Systems |
Sorozatcím | LNCS |
Kötet | 8461 |
Pagination | 284-299 |
Kiadó | Springer |
ISBN-szám | 978-3-662-43612-7 |
URL | http://link.springer.com/chapter/10.1007/978-3-662-43613-4_18 |
DOI | 10.1007/978-3-662-43613-4_18 |