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. 2007 Tools for the Model-based Development of Certifiable, Dependable Systems http://drops.dagstuhl.de/opus/volltexte/2008/1406 conf/dagstuhl/2007P7241 db/conf/dagstuhl/P7241.html#HuhnHP07a