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 |
Drucken
Impressum