Formal methods for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
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
Funktionale Sicherheit ist überall und die IT-Sicherheit kommt hinzu
/ VDE-Tagung zur IEC 61508 und zur IEC 62443, 11. - 12. März 2015, Kaisersaal Erfurt .... - Berlin : VDE-Verl., 2015. - 1 CD-ROM; 12 cm
ISBN 978-3-8007-3900-4 : EUR 107.00 (DE), EUR 107.90 (AT), sfr 148.00 (freier Pr.)
Beitr. teilw. dt., teilw. engl. - Titel auf dem Behältnis
Quelle: DNB
Generative programming and component engineering
: ACM SIGPLAN SIGSOFT conference ; proceedings / GPCE 2002, Pittburgh, PA, USA, October 6 - 8, 2002. D. Batory ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2487)
ISBN 978-3-540-45821-0
Lizenzpflichtig
Quelle: DNB
High performance embedded architectures and compilers
: second international conference ; proceedings / HiPEAC 2007, Ghent, Belgium, January 28 - 30, 2007. Koen De Bosschere ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4367)
ISBN 978-3-540-69338-3
Lizenzpflichtig
Quelle: DNB
High performance embedded architectures and compilers
: first international conference ; proceedings / HiPEAC 2005, Barcelona, Spain, November 17 - 18, 2005. Tom Conte ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3793)
ISBN 978-3-540-32272-6
Lizenzpflichtig
Quelle: DNB
High performance embedded architectures and compilers
: fourth international conference ; proceedings / HiPEAC 2009, Paphos, Cyprus, January 25 - 28, 2009. André Seznec ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5409)
ISBN 978-3-540-92990-1
Lizenzpflichtig
Quelle: DNB
