TU Darmstadt / ULB / TUbiblio

MOPBox: A Library Approach to Runtime Verification

Bodden, Eric (2012)
MOPBox: A Library Approach to Runtime Verification.
RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2012
Autor(en): Bodden, Eric
Art des Eintrags: Bibliographie
Titel: MOPBox: A Library Approach to Runtime Verification
Sprache: Englisch
Publikationsjahr: 2012
Verlag: Springer
Reihe: Lecture notes in computer science
Band einer Reihe: 7186
Veranstaltungstitel: RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30
URL / URN: http://www.bodden.de/pubs/bodden11mopbox.pdf
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
20 Fachbereich Informatik
LOEWE > LOEWE-Zentren
Hinterlegungsdatum: 31 Aug 2013 10:23
Letzte Änderung: 31 Aug 2013 10:23
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen