Model-based Integration Framework for Development and Testing Tool-chains
Title | Model-based Integration Framework for Development and Testing Tool-chains |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Polgár, B., Ráth, I., and Majzik, I. |
Conference Name | FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems |
Date Published | 03/12/2010 |
Publisher | Springer Verlag, Berlin |
Conference Location | Braunschweig, Germany |