UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module

TitleUML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module
Publication TypeConference Paper
Year of Publication2003
AuthorsPataricza, A., Majzik, I., Huszerl, G., and Várnai, G.
EditorTarnai, G., and Schnieder, E.
Conference NameFormal Methods for Railway Operation and Control Systems
Date Published2003
PublisherL'Harmattan Kiadó
Conference LocationBudapest