"Functional Verification for UML-Based Model Driven Design of Embedded Systems."

Martin Kardos, Norbert Fristacky (2005)

Details and statistics

DOI: 10.1007/11523277_11

access: open

type: Conference or Workshop Paper

metadata version: 2018-06-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics