UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Universitätsbibliothek
Katalog
Details
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Datensatz exportieren als...
BibTeX
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers [Elektronische Ressource]
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M
Leucker, Martin
Mattern, Friedemann
Mitchell, John C
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y
Weikum, Gerhard
2008
Details
Autor(en) / Beteiligte
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M
Leucker, Martin
Mattern, Friedemann
Mitchell, John C
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y
Weikum, Gerhard
Titel
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg
Erscheinungsjahr
2008
Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2008 (ZDB-2-SCS)
Volltext
Volltext
Sprache
–
Identifikatoren
ISBN: 9783540892472
OCLC-Nummer: 1075800092, 1075800092
Titel-ID: 990018137140106463
Format
–
Schlagworte
Echtzeitverarbeitung
,
Verifikation
,
Software
,
Model Checking
,
Echtzeitsystem
,
Monitoring
,
Datensicherung
,
Computersicherheit
,
Testen
,
Formale Methode
,
Computer science
,
Computer software
,
Computer system performance
,
Logic design
,
Operating systems (Computers)
,
Software engineering