pdf-format: |
|
@InProceedings{huhn_et_al:DSP:2008:1406, author = {Michaela Huhn and Hardi Hungar and Doron A. Peled}, title = {07241 Abstracts Collection -- Tools for the Model-based Development of Certifiable, Dependable Systems}, booktitle = {Tools for the Model-based Development of Certifiable, Dependable Systems}, year = {2008}, editor = {Michaela Huhn and Hardi Hungar and Doron A. Peled}, number = {07241}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1406}, 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 |