DagSemProc.09481.1.pdf
- Filesize: 4.44 MB
- 93 pages
Document
09481 Abstracts Collection – SYNCHRON 2009
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9481
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-02-17
Cite As Get 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
Subject Classification
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)
0PDF Downloads