TU Darmstadt / ULB / TUbiblio

Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors

Bodden, Eric and Lam, Patrick and Hendren, Laurie (2010):
Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors.
Springer, In: 1st International Conference on Runtime Verification (RV), In: LNCS, 6418, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Bodden, Eric and Lam, Patrick and Hendren, Laurie
Title: Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors
Language: English
Series Name: LNCS
Volume: 6418
Publisher: Springer
Uncontrolled Keywords: clara
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
Event Title: 1st International Conference on Runtime Verification (RV)
Date Deposited: 21 Dec 2010 14:33
Export:

Optionen (nur für Redakteure)

View Item View Item