Formal Verification of Safety PLC Based Control Software
| Cím | Formal Verification of Safety {PLC} Based Control Software |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2016 |
| Szerzők | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
| Könyvcím | Integrated Formal Methods |
| Sorozatcím | Lecture Notes in Computer Science |
| Kötet | 9681 |
| Pagination | 508-522 |
| Kiadó | Springer |
| ISBN-szám | 978-3-319-33693-0 |
| URL | http://link.springer.com/chapter/10.1007%2F978-3-319-33693-0_32 |
| DOI | 10.1007/978-3-319-33693-0_32 |
| Refereed Designation | Refereed |
