Falzon, Kevin and Bodden, Eric and Purandare, Rahul (2013):
Distributed Finite-State Runtime Monitoring with Aggregated Events.
pp. 94-111, Springer, 4th International Conference on Runtime Verification (RV'13), Rennes, France, 24.-27.09., ISBN 978-3-642-40786-4,
DOI: 10.1007/978-3-642-40787-1_6,
[Conference or Workshop Item]
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2013 |
Creators: | Falzon, Kevin and Bodden, Eric and Purandare, Rahul |
Title: | Distributed Finite-State Runtime Monitoring with Aggregated Events |
Language: | English |
Publisher: | Springer |
ISBN: | 978-3-642-40786-4 |
Divisions: | 20 Department of Computer Science LOEWE LOEWE > LOEWE-Zentren Zentrale Einrichtungen LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt 20 Department of Computer Science > EC SPRIDE 20 Department of Computer Science > EC SPRIDE > Secure Software Engineering |
Event Title: | 4th International Conference on Runtime Verification (RV'13) |
Event Location: | Rennes, France |
Event Dates: | 24.-27.09. |
Date Deposited: | 20 Aug 2013 14:26 |
DOI: | 10.1007/978-3-642-40787-1_6 |
Additional Information: | Part of the Lecture Notes in Computer Science book series (LNCS, volume 8174) |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |