Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics

CímVerification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics
Közlemény típusaBook Chapter
Kiadás éve2014
SzerzőkTóth, T., Vörös, A., and Majzik, I.
SzerkesztőBondavalli, A., Ceccarelli, A., and Ortmeier, F.
KönyvcímComputer Safety, Reliability, and Security
SorozatcímLecture Notes in Computer Science
Kötet8696
Pagination207-218
KiadóSpringer International Publishing
ISBN-szám978-3-319-10556-7
URLhttp://dx.doi.org/10.1007/978-3-319-10557-4_24
DOI10.1007/978-3-319-10557-4_24
PDF: