07101 Executive Summary – Quantitative Aspects of Embedded Systems

Authors Boudewijn Haverkort, Joost-Pieter Katoen, Lothar Thiele



PDF
Thumbnail PDF

File

DagSemProc.07101.2.pdf
  • Filesize: 72 kB
  • 4 pages

Document Identifiers

Author Details

Boudewijn Haverkort
Joost-Pieter Katoen
Lothar Thiele

Cite AsGet BibTex

Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Executive Summary – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.07101.2

Abstract

This is an executive summary of Dagstuhl seminar 07101, March 5--9, 2007.
Keywords
  • Embedded systems
  • quantitative analysis
  • model checking
  • real-time calculus
  • validation
  • verification
  • model-based and model-driven design. Embedded s

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