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. Dagstuhl Seminar Proceedings 07241 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 BibTeX

Michaela Huhn, Hardi Hungar, Doron Peled:
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.
Electronic Edition (link) BibTeX
Michaela Huhn, Hardi Hungar, Doron Peled:
07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.
Electronic Edition (link) BibTeX