Dagstuhl Seminar Proceedings 07241

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

M. Huhn, H. Hungar, D. A. Peled (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 07241, 10.06. - 15.06.2007
Additional Information
Seminar Homepage
License
Search Publication Server

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

  •   
    07241 Abstracts Collection -- Tools for the Model-based Development of Certifiable, Dependable Systems
    Authors: Huhn, Michaela ; Hungar, Hardi ; Peled, Doron A.

    Abstract | Document (165 KB) | BibTeX

    07241 Summary -- Tools for the Model-based Development of Certifiable, Dependable Systems
    Authors: Huhn, Michaela ; Hungar, Hardi ; Peled, Doron A.

    Abstract | Document (126 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI