DMCA

Automatic Validation and Verification in a Model-Based Development Process......... 113

by Modellbasierte Entwicklung , Informatik Bericht , Tu Braunschweig , Mario Friske , Holger Schlingloff , Holger Giese , Markus Völter , Albert Zündorf , Leif Geiger , Jörg Siedhof , Tiziana Margaria , Bernhard Steffen , Mirko Conrad , Heiko Dörr , Ines Fey , Kerstin Buhr , Gabriel Vögler , Hajo Eichler , Christian Bunse , Christian Denger , Felix Gutbrodt , Michael Wedel , Udo Brockmeyer , Werner Damm , Hardi Hungar , Bernhard Josko