Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko. Automatic Validation and Verification in a Model-Based Development Process. In Torsten Klein, Bernhard Rumpe, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2005-1 of Informatik-Bericht, pages 113-124, TU Braunschweig, Institut für Software Systems Engineering, 2005. [doi]
Abstract is missing.