PDF:
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics
| Cím | Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2014 |
| Szerzők | Tóth, T., Vörös, A., and Majzik, I. |
| Szerkesztő | Bondavalli, A., Ceccarelli, A., and Ortmeier, F. |
| Könyvcím | Computer Safety, Reliability, and Security |
| Sorozatcím | Lecture Notes in Computer Science |
| Kötet | 8696 |
| Pagination | 207-218 |
| Kiadó | Springer International Publishing |
| ISBN-szám | 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 |
