Formal Verification of Safety PLC Based Control Software
| Title | Formal Verification of Safety {PLC} Based Control Software |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
| Book Title | Integrated Formal Methods |
| Series Title | Lecture Notes in Computer Science |
| Volume | 9681 |
| Pagination | 508-522 |
| Publisher | Springer |
| ISBN Number | 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 |
