TU Darmstadt / ULB / TUbiblio

Scalable Offline Monitoring

Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; Mantel, Heiko :
Scalable Offline Monitoring.
In: Proceedings of the 14th International Conference on Runtime Verification (RV), Heidelberg, Germany. Springer , Heidelberg, Germany
[ Konferenzveröffentlichung] , (2014)

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2014
Autor(en): Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; Mantel, Heiko
Titel: Scalable Offline Monitoring
Sprache: Englisch
Ort: Heidelberg, Germany
Verlag: Springer
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
Profilbereiche
Profilbereiche > Cybersicherheit (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
Veranstaltungstitel: Proceedings of the 14th International Conference on Runtime Verification (RV)
Veranstaltungsort: Heidelberg, Germany
Hinterlegungsdatum: 06 Jun 2018 06:20
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen