Formal verification of complex properties on PLC programs

CímFormal verification of complex properties on PLC programs
Közlemény típusaBook Chapter
Kiadás éve2014
SzerzőkDarvas, 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ímFormal Techniques for Distributed Objects, Components, and Systems
SorozatcímLNCS
Kötet8461
Pagination284-299
KiadóSpringer
ISBN-szám978-3-662-43612-7
URLhttp://link.springer.com/chapter/10.1007/978-3-662-43613-4_18
DOI10.1007/978-3-662-43613-4_18