Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09481.1
URN: urn:nbn:de:0030-drops-24340
URL: https://drops.dagstuhl.de/opus/volltexte/2010/2434/
Benveniste, Albert ; Edwards, Stephen A. ; Lee, Edward ; Schneider, Klaus ; von Hanxleden, Reinhard
09481 Abstracts Collection -- SYNCHRON 2009
| pdf-format: |
|
Abstract
The 16th SYNCHRON workshop has been organized as Dagstuhl seminar 09481from 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
BibTeX - Entry
@InProceedings{benveniste_et_al:DagSemProc.09481.1,
author = {Benveniste, Albert and Edwards, Stephen A. and Lee, Edward and Schneider, Klaus and von Hanxleden, Reinhard},
title = {{09481 Abstracts Collection – SYNCHRON 2009}},
booktitle = {SYNCHRON 2009},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {9481},
editor = {Albert Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider and Reinhard von Hanxleden},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2010/2434},
URN = {urn:nbn:de:0030-drops-24340},
doi = {10.4230/DagSemProc.09481.1},
annote = {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}
}
| Keywords: | Synchronous languages, Safety-critical real-time systems, Model-based design, Discrete and hybrid systems, Combining synchronous and asynchronous | |
| Freie Schlagwörter (englisch): | models, Formally consistent subsetting of UML, High-level hardware modeling and synthesis, Compilation and code synthesis for embedded systems | |
| Seminar: | 09481 - SYNCHRON 2009 | |
| Issue date: | 2010 | |
| Date of publication: | 17.02.2010 |
