PDF:
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics
| Title | Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics |
| Publication Type | Book Chapter |
| Year of Publication | 2014 |
| Authors | Tóth, T., Vörös, A., and Majzik, I. |
| Editor | Bondavalli, A., Ceccarelli, A., and Ortmeier, F. |
| Book Title | Computer Safety, Reliability, and Security |
| Series Title | Lecture Notes in Computer Science |
| Volume | 8696 |
| Pagination | 207-218 |
| Publisher | Springer International Publishing |
| ISBN Number | 978-3-319-10556-7 |
| URL | http://dx.doi.org/10.1007/978-3-319-10557-4_24 |
| DOI | 10.1007/978-3-319-10557-4_24 |
