License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14056
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1405/
Go to the corresponding Portal

Huhn, Michaela ; Hungar, Hardi ; Peled, Doron A.

07241 Summary -- Tools for the Model-based Development of Certifiable, Dependable Systems

pdf-format:
Document 1.pdf (126 KB)

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.

BibTeX - Entry

@InProceedings{huhn_et_al:DSP:2008:1405,
  author =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  title =	{07241 Summary --  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/1405},
  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

DROPS-Home | Fulltext Search | Imprint Published by LZI