Tools for the Model-based Development of Certi able, Dependable Systems

Michaela Huhn, Hardi Hungar, Doron Peled

Research output: Contribution to journalConference articlepeer-review

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.

Original languageEnglish
JournalDagstuhl Seminar Proceedings
Volume7241
StatePublished - 2008
Externally publishedYes
EventTools for the Model-Based Development of Certifiable, Dependable Systems 2007 - Wadern, Germany
Duration: 10 Jun 200715 Jun 2007

Bibliographical note

Publisher Copyright:
© 2008 Dagstuhl Seminar Proceedings. All rights reserved.

Keywords

  • Dependable systems
  • certi cation
  • formal methods
  • modelling
  • safety
  • security
  • tools
  • veri cation

Fingerprint

Dive into the research topics of 'Tools for the Model-based Development of Certi able, Dependable Systems'. Together they form a unique fingerprint.

Cite this