2026-07-23T08:19:34Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1405 2024-03-06T11:07:34Z ddc:004 open_access

07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems Huhn, Michaela Hungar, Hardi Peled, Doron A. Dependable systems safety security certification formal methods modelling verification tools 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Michaela Huhn and Hardi Hungar and Doron A. Peled 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07241.2 urn:nbn:de:0030-drops-14056 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.2 eng https://creativecommons.org/licenses/by/4.0/legalcode