Benveniste, Albert ;
Edwards, Stephen A. ;
Lee, Edward ;
Schneider, Klaus ;
von Hanxleden, Reinhard
09481 Abstracts Collection -- SYNCHRON 2009
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
BibTeX - Entry
@InProceedings{benveniste_et_al:DSP:2010:2434,
author = {Albert Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider and Reinhard von Hanxleden},
title = {09481 Abstracts Collection -- SYNCHRON 2009},
booktitle = {SYNCHRON 2009},
year = {2010},
editor = {Albert Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider and Reinhard von Hanxleden},
number = {09481},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2434},
annote = {Keywords: Synchronous languages, Safety-critical real-time systems, Model-based design, Discrete and hybrid systems, Combining synchronous and asynchronous}
}
|
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 |
17.02.2010
