TU Darmstadt / ULB / TUbiblio

Combining Testing and Runtime Verification

Falzon, Kevin ; Pace, Gordon J.
Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz (eds.) :

Combining Testing and Runtime Verification.
[Online-Edition: http://www.di.uminho.pt/mompes]
In: 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, September 04, 2012, Essen, Germany.
[ Konferenzveröffentlichung] , (2012)

Offizielle URL: http://www.di.uminho.pt/mompes
Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2012
Herausgeber: Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz
Autor(en): Falzon, Kevin ; Pace, Gordon J.
Titel: Combining Testing and Runtime Verification
Sprache: Englisch
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
Veranstaltungstitel: 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
Veranstaltungsort: Essen, Germany
Veranstaltungsdatum: September 04, 2012
Hinterlegungsdatum: 05 Nov 2012 15:03
Offizielle URL: http://www.di.uminho.pt/mompes
Sponsoren: EC-SPRIDE, STEPS
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen