Bodden, Eric ; Hendren, Laurie ; Lam, Patrick ; Lhoták, Ondrej ; Naeem, Nomair (2008):
Collaborative Runtime Verification with Tracematches.
In: Oxford Journal of Logics and Computation, 2008, [Article]
Item Type: | Article |
---|---|
Erschienen: | 2008 |
Creators: | Bodden, Eric ; Hendren, Laurie ; Lam, Patrick ; Lhoták, Ondrej ; Naeem, Nomair |
Title: | Collaborative Runtime Verification with Tracematches |
Language: | German |
Journal or Publication Title: | Oxford Journal of Logics and Computation, 2008 |
Divisions: | LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt LOEWE > LOEWE-Zentren LOEWE |
Date Deposited: | 30 Dec 2016 20:23 |
Identification Number: | TUD-CS-2018-0001 |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |