hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Hartes Echtzeitsystem
3 Treffer
Seite < 1 >
Cover

Formal modeling and analysis of timed systems

: 5th international conference ; proceedings / FORMATS 2007, Salzburg, Austria, October 3 - 5, 2007. Jean-François Raskin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4763)

ISBN 978-3-540-75454-1

Lizenzpflichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: 4th international conference ; proceedings / FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4202)

ISBN 978-3-540-45031-3

Lizenzpflichtig

Quelle: DNB

Cover

Formal modeling and analysis of timed systems

: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)

ISBN 978-3-540-31616-9

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen