TU Darmstadt / ULB / TUbiblio

Collaborative Runtime Verification with Tracematches

Bodden, Eric and Hendren, Laurie and Lam, Patrick and Lhoták, Ondrej and 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 and Hendren, Laurie and Lam, Patrick and Lhoták, Ondrej and 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

Optionen (nur für Redakteure)

View Item View Item