TY -
GEN
AU - Hutchison, David
AU - Pandu Rangan, C.
AU - Steffen, Bernhard
AU - Sudan, Madhu
AU - Terzopoulos, Demetri
AU - Tygar, Doug
AU - Vardi, Moshe Y.
AU - Weikum, Gerhard
AU - Kanade, Takeo
AU - Kittler, Josef
AU - Kleinberg, Jon
AU - Leucker, Martin
AU - Mattern, Friedemann
AU - Mitchell, John C.
AU - Naor, Moni
AU - Nierstrasz, Oscar
TI -
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
PB - Springer Berlin Heidelberg
SN - 9783540892472
KW - Operating systems (Computers)
KW - Computer system performance
KW - Computer software
KW - Logic design
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Computers.
KW - Compilers (Computer programs).
KW - Electronic digital computers
KW - Konferenzschrift 2008 Budapest
KW - Echtzeitverarbeitung
KW - Verifikation
KW - Software
KW - Model Checking
KW - Echtzeitsystem
KW - Monitoring Informatik
KW - Datensicherung
KW - Computersicherheit
KW - Softwaretest
KW - Formale Methode
PY - 2008
BT - Lecture Notes in Computer Science ; 5289
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -