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

Cím és alcím: Model-based Integration Framework for Development and Testing Tool-Chains
Szerző: Polgár, Balázs; Ráth, István Zoltán; Majzik, István
Megjelenés ideje: 2011
Kiadó: Springer
Nyelv: en
Egyéb azonosítók: MTMT: 2664652
A cikket/könyvrészletet tartalmazó dokumentum címe: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems
Dokumentumtípus: egyéb konferenciaközlemény
Műfaj: konferenciaközlemény