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...
Zur Ergebnisliste
Ergebnis 25 von 477
    Datensatz exportieren als...
  • BibTeX
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers [Elektronische Ressource]
2008

Details

Autor(en) / Beteiligte
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
Sprache
–
Identifikatoren
ISBN: 9783540892472
DOI: 10.1007/978-3-540-89247-2
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