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

Thumbnail
View/Open
Metadata
Show full item record
URI
http://hdl.handle.net/10890/4365
Collections
Title
Model-based Integration Framework for Development and Testing Tool-Chains
Author
Polgár, Balázs
Ráth, István Zoltán
Majzik, István
Date of issue
2011
Publisher
Springer
Language
en
Identifiers
MTMT: 2664652
Title of the container document
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems
Document type
egyéb konferenciaközlemény
Document genre
konferenciaközlemény