[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case
Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Escobedo, Jose PabloYear:
2012
Language:
english
DOI:
10.1109/HASE.2012.18
File:
PDF, 316 KB
english, 2012