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
[Konferenz- oder Workshop-Beitrag], (2010)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
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): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Zentrale Einrichtungen > EC SPRIDE
Zentrale Einrichtungen > 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