Model-based Integration Framework for Development and Testing Tool-chains

TitleModel-based Integration Framework for Development and Testing Tool-chains
Publication TypeConference Paper
Year of Publication2010
AuthorsPolgár, B., Ráth, I., and Majzik, I.
Conference NameFORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Date Published03/12/2010
PublisherSpringer Verlag, Berlin
Conference LocationBraunschweig, Germany