Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; Mantel, Heiko (2014):
Scalable Offline Monitoring.
pp. 31-47, Heidelberg, Germany, Springer, Proceedings of the 14th International Conference on Runtime Verification (RV), Heidelberg, Germany, [Conference or Workshop Item]
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2014 |
Creators: | Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; Mantel, Heiko |
Title: | Scalable Offline Monitoring |
Language: | English |
Place of Publication: | Heidelberg, Germany |
Publisher: | Springer |
Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS) Profile Areas Profile Areas > Cybersecurity (CYSEC) LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy |
Event Title: | Proceedings of the 14th International Conference on Runtime Verification (RV) |
Event Location: | Heidelberg, Germany |
Date Deposited: | 06 Jun 2018 06:20 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |