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

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, 2008.

Conference: Dagstuhl2008

Abstract

Abstract is missing.

Table of Contents