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