DagSemProc.07241.2.pdf
- Filesize: 126 kB
- 6 pages
Document
07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 7241
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2008-04-08
Cite As Get BibTex
Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.07241.2
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.
Subject Classification
Keywords
- Dependable systems
- safety
- security
- certification
- formal methods
- modelling
- verification
- tools
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads