Dagstuhl Seminar Proceedings. 07241 - Tools for the Model-based Development of Certifiable, Dependable Systems
Doi
Abstract
This paper summarizes the objectives and structure of a
seminar with the same title, held from June 10th to June 15th, 2007
at Schloss Dagstuhl, Germany