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

Authors Michaela Huhn, Hardi Hungar, Doron A. Peled



PDF
Thumbnail PDF

File

DagSemProc.07241.2.pdf
  • Filesize: 126 kB
  • 6 pages

Document Identifiers

Author Details

Michaela Huhn
Hardi Hungar
Doron A. Peled

Cite AsGet BibTex

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)
https://doi.org/10.4230/DagSemProc.07241.2

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.
Keywords
  • Dependable systems
  • safety
  • security
  • certification
  • formal methods
  • modelling
  • verification
  • tools

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
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