Development of Model Based Tools to Support the Design of Railway Control Applications

TitleDevelopment of Model Based Tools to Support the Design of Railway Control Applications
Publication TypeConference Paper
Year of Publication2007
AuthorsMajzik, I., Micskei, Z., and Pintér, G.
Conference NameComputer Safety, Reliability, and Security
Date Published2007
PublisherSpringer-Verlag
Conference LocationBerlin
URLhttp://www.mit.bme.hu/~pinter/publications-files/majzik-micskei-pinter-2007-safecomp-development-of-model-based-tools-to-support-the-design-of-railway-control-applications.pdf