Volume

Dagstuhl Seminar Proceedings, Volume 7241

Publication Details

  • published at: 2008-04-08
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
DOI: 10.4230/DagSemProc.07241.1
07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Abstract
From June 10th to June 15th 2007, the Dagstuhl Seminar 07241 ``Tools for the Model-based Development of Certifiable, Dependable Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Abstracts Collection – 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-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.1,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  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},
  pages =	{1--12},
  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/entities/document/10.4230/DagSemProc.07241.1},
  URN =		{urn:nbn:de:0030-drops-14067},
  doi =		{10.4230/DagSemProc.07241.1},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
Document
DOI: 10.4230/DagSemProc.07241.2
07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

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.
Cite as

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)

Copy BibTex To Clipboard

@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/entities/document/10.4230/DagSemProc.07241.2},
  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}
}

Filters

  • Authors
  • H
  • Huhn, Michaela
  • Hungar, Hardi
  • P
  • Peled, Doron A.

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact