Michaela Huhn, Hardi Hungar, Doron Peled. 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. In Michaela Huhn, Hardi Hungar, Doron Peled, editors, Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Volume 07241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]
Abstract is missing.