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.
6418In: LNCS, Springer, In: 1st International Conference on Runtime Verification (RV), pp. 74-88, [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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item