2026-08-17T09:30:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2434 2024-03-06T11:09:04Z ddc:004 open_access

09481 Abstracts Collection – SYNCHRON 2009 Benveniste, Albert Edwards, Stephen A. Lee, Edward Schneider, Klaus von Hanxleden, Reinhard 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 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 Schloss Dagstuhl – Leibniz-Zentrum für Informatik Albert Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider and Reinhard von Hanxleden 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 9481, SYNCHRON 2009 InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09481.1 urn:nbn:de:0030-drops-24340 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09481.1 eng https://creativecommons.org/licenses/by/4.0/legalcode