Dagstuhl Seminar Proceedings: Tools for the Model-based Development of Certifiable, Dependable Systems 2007
Michaela Huhn, Hardi Hungar, Doron Peled (Eds.): Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 Dagstuhl Seminar Proceedings 07241
Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.
Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.



