Konferenzschrift | Kongress
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642162763
- Dimensions
-
24 cm
- Extent
-
XV, 384 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6100
- Keyword
-
Echtzeitsystem
Eingebettetes System
Modellgetriebene Entwicklung
Entwurfssprache
Requirements engineering
Zuverlässigkeit
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:36 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Giese, Holger
- Springer
Time of origin
- 2010
Other Objects (12)
Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops
Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers
Dagstuhl Manifestos : Manifeste aus Dagstuhl Perspektiven Workshops
Dagstuhl report
Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers
Human centered visualization environments : GI-Dagstuhl research seminar, Dagstuhl Castle, Germany, March 5 - 8, 2006 ; revised lectures
Quantitative aspects of embedded systems : 07101 abstracts collection ; Dagstuhl seminar
Numerical validation in current hardware architectures : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6 - 11, 2008 ; revised papers
Kopiar für Dagstuhl
Statistical and geometrical approaches to visual motion analysis : international Dagstuhl seminar, Dagstuhl Castle, Germany, July 13 - 18, 2008 ; revised papers
Dagstuhl seminar on event processing, May 6 - 11, 2007, Schloss Dagstuhl
Rechnung der Herrschaft Dagstuhl
Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops
Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers
Dagstuhl Manifestos : Manifeste aus Dagstuhl Perspektiven Workshops
Dagstuhl report
Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers
Human centered visualization environments : GI-Dagstuhl research seminar, Dagstuhl Castle, Germany, March 5 - 8, 2006 ; revised lectures
Quantitative aspects of embedded systems : 07101 abstracts collection ; Dagstuhl seminar
Numerical validation in current hardware architectures : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6 - 11, 2008 ; revised papers
Kopiar für Dagstuhl
Statistical and geometrical approaches to visual motion analysis : international Dagstuhl seminar, Dagstuhl Castle, Germany, July 13 - 18, 2008 ; revised papers
Dagstuhl seminar on event processing, May 6 - 11, 2007, Schloss Dagstuhl
Rechnung der Herrschaft Dagstuhl
Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops
Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers
Dagstuhl Manifestos : Manifeste aus Dagstuhl Perspektiven Workshops
Dagstuhl report
Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers
Human centered visualization environments : GI-Dagstuhl research seminar, Dagstuhl Castle, Germany, March 5 - 8, 2006 ; revised lectures
Quantitative aspects of embedded systems : 07101 abstracts collection ; Dagstuhl seminar
Numerical validation in current hardware architectures : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6 - 11, 2008 ; revised papers
Kopiar für Dagstuhl
Statistical and geometrical approaches to visual motion analysis : international Dagstuhl seminar, Dagstuhl Castle, Germany, July 13 - 18, 2008 ; revised papers
Dagstuhl seminar on event processing, May 6 - 11, 2007, Schloss Dagstuhl