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

Publication Type:

Conference Paper

Source:

FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems, Springer Verlag, Berlin, p.227-235 (2011)