09481 Abstracts Collection – SYNCHRON 2009

Authors Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, Reinhard von Hanxleden



PDF
Thumbnail PDF

File

DagSemProc.09481.1.pdf
  • Filesize: 4.44 MB
  • 93 pages

Document Identifiers

Author Details

Albert Benveniste
Stephen A. Edwards
Edward Lee
Klaus Schneider
Reinhard von Hanxleden

Cite AsGet BibTex

Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, and Reinhard von Hanxleden. 09481 Abstracts Collection – SYNCHRON 2009. In SYNCHRON 2009. Dagstuhl Seminar Proceedings, Volume 9481, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/DagSemProc.09481.1

Abstract

The 16th SYNCHRON workshop has been organized as Dagstuhl seminar 09481 from November 22-27, 2009. Online material of the seminar is available at the following web page: http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=09481
Keywords
  • Synchronous languages
  • Safety-critical real-time systems
  • Model-based design
  • Discrete and hybrid systems
  • Combining synchronous and asynchronous models
  • Formally consistent subsetting of UML
  • High-level hardware modeling and synthesis
  • Compilation and code synthesis for embedded systems

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