Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06.

Michaela Huhn Hardi Hungar Doron Peled Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Tools for the Model-based Development of Certifiable, Dependable Systems 07241 2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P7241.html