07241 Abstracts Collection - 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. 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]

Authors

Michaela Huhn

This author has not been identified. Look up 'Michaela Huhn' in Google

Hardi Hungar

This author has not been identified. Look up 'Hardi Hungar' in Google

Doron Peled

This author has not been identified. Look up 'Doron Peled' in Google