TU Darmstadt / ULB / TUbiblio

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

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

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2010
Autor(en): Bodden, Eric ; Lam, Patrick ; Hendren, Laurie
Titel: Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors
Sprache: Englisch
Reihe: LNCS
Band: 6418
Verlag: Springer
Freie Schlagworte: clara
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
Veranstaltungstitel: 1st International Conference on Runtime Verification (RV)
Hinterlegungsdatum: 21 Dez 2010 14:33
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen