Format:
XI, 322 S. :
,
Ill., graph. Darst.
ISBN:
3-642-35631-1
,
978-3-642-35631-5
Series Statement:
Lecture notes in computer science 7687
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-642-35632-2
Language:
English
Subjects:
Computer Science
Keywords:
Systemanalyse
;
Computerarchitektur
;
Laufzeitsystem
;
Hardwareverifikation
;
Formale Methode
;
Programmanalyse
;
Softwarearchitektur
;
Programmlaufzeit
;
Programmverifikation
;
Formale Methode
;
Echtzeitverarbeitung
;
Programmanalyse
;
Programmverifikation
;
Softwaretest
;
Debugging
;
Echtzeitverarbeitung
;
Software
;
Model Checking
;
Echtzeitsystem
;
Datensicherung
;
Computersicherheit
;
Echtzeitsystem
;
Monitoring
;
Echtzeitverarbeitung
;
Verifikation
;
Konferenzschrift