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
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
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998. Anders P. Ravn ; Hans Rischel (ed.). - Berlin : Springer, 1998. - VIII, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1486)
ISBN 978-3-540-65003-4 / 3-540-65003-2 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 7th international symposium ; proceedings / FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2469)
ISBN 978-3-540-45739-8
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. M. Joseph (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1926)
ISBN 978-3-540-45352-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 1998. A. P. Ravn ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1486)
ISBN 978-3-540-49792-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. Mathai Joseph (ed.). - Berlin : Springer, 2000. - X, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1926)
ISBN 978-3-540-41055-3 / 3-540-41055-4 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Formal techniques, modelling and analysis of timed and fault tolerant systems
: proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ; Sergio Yovine (ed.). - Berlin : Springer, 2004. - X, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3253)
ISBN 978-3-540-23167-7 / 3-540-23167-6 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
High integrity system specification and design
/ Jonathon P. Bowen and Michael G. Hinchey. - London : Springer, 1999. - XIX, 701 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76226-3 / 3-540-76226-4 kart. : DM 195.00
Literaturangaben
Quelle: DNB
Hybrid and real time systems
: international workshop ; proceedings / HART '97, Grenoble, France, March 26 - 28, 1997. Oded Maler (ed.). - Berlin : Springer, 1997. - IX, 414 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1201)
ISBN 978-3-540-62600-8 / 3-540-62600-X kart. : DM 90.00
Literaturangaben
Quelle: DNB