Format:
Online-Ressource (X, 259 S.)
Edition:
Online-Ausg. 2011 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web
ISBN:
9783642244315
Series Statement:
Lecture notes in computer science 6959
Note:
Literaturangaben
,
Electronic reproduction; Available via World Wide Web
Additional Edition:
ISBN 3642244300
Additional Edition:
ISBN 9783642244308
Additional Edition:
Erscheint auch als Druck-Ausgabe Formal methods for industrial critical systems Berlin : Springer, 2011 ISBN 9783642244308
Additional Edition:
ISBN 3642244300
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Zuverlässigkeit
;
Sicherheitskritisches System
;
Formale Methode
;
Systementwurf
;
Model Checking
;
Verifikation
;
Formale Methode
;
Konferenzschrift
DOI:
10.1007/978-3-642-24431-5
URL:
Volltext
(lizenzpflichtig)