Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07241.2
URN: urn:nbn:de:0030-drops-14056
URL: https://drops.dagstuhl.de/opus/volltexte/2008/1405/
Huhn, Michaela ; Hungar, Hardi ; Peled, Doron A.
07241 Summary -- Tools for the Model-based Development of Certifiable, Dependable Systems
| pdf-format: |
|
Abstract
This paper summarizes the objectives and structure of aseminar with the same title, held from June 10th to June 15th, 2007
at Schloss Dagstuhl, Germany.
BibTeX - Entry
@InProceedings{huhn_et_al:DagSemProc.07241.2,
author = {Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
title = {{07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems}},
booktitle = {Tools for the Model-based Development of Certifiable, Dependable Systems},
pages = {1--6},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {7241},
editor = {Michaela Huhn and Hardi Hungar and Doron A. Peled},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2008/1405},
URN = {urn:nbn:de:0030-drops-14056},
doi = {10.4230/DagSemProc.07241.2},
annote = {Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
| Keywords: | Dependable systems, safety, security, certification, formal methods, modelling, verification, tools | |
| Seminar: | 07241 - Tools for the Model-based Development of Certifiable, Dependable Systems | |
| Issue date: | 2008 | |
| Date of publication: | 08.04.2008 |
