License: Creative Commons Attribution 4.0 International 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: http://dagstuhl.sunsite.rwth-aachen.de/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:
summary_proceedings.1405.pdf (0.1 MB)

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: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
Collection: 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 | Privacy Published by LZI