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

TitleVerification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics
Publication TypeBook Chapter
Year of Publication2014
AuthorsTóth, T., Vörös, A., and Majzik, I.
EditorBondavalli, A., Ceccarelli, A., and Ortmeier, F.
Book TitleComputer Safety, Reliability, and Security
Series TitleLecture Notes in Computer Science
Volume8696
Pagination207-218
PublisherSpringer International Publishing
ISBN Number978-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: