Model-based Integration Framework for Development and Testing Tool-Chains
Date
Type
egyéb konferenciaközlemény
Publisher
Springer
Container Title
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems
Gender
konferenciaközlemény