Umfang:
XI, 322 S. :
,
Ill., graph. Darst.
ISBN:
3-642-35631-1
,
978-3-642-35631-5
Serie:
Lecture notes in computer science 7687
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-642-35632-2
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
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