A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
| Cím | A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2015 |
| Szerzők | Tóth, T., Vörös, A., and Majzik, I. |
| Szerkesztő | Fantechi, A., and Pelliccione, P. |
| Könyvcím | Software Engineering for Resilient Systems |
| Sorozatcím | Lecture Notes in Computer Science |
| Kötet | 9274 |
| Pagination | 31-45 |
| Kiadó | Springer International Publishing |
| ISBN | 978-3-319-23129-7 |
| URL | http://link.springer.com/chapter/10.1007/978-3-319-23129-7_3 |
| DOI | 10.1007/978-3-319-23129-7_3 |
