TU Darmstadt / ULB / TUbiblio

Combining Testing and Runtime Verification

Falzon, Kevin and Pace, Gordon J.
Machado, Ricardo J. and Maciel, Rita Suzana and Rubin, Julia and 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.
[Conference or Workshop Item] , (2012)

Official URL: http://www.di.uminho.pt/mompes
Item Type: Conference or Workshop Item
Erschienen: 2012
Editors: Machado, Ricardo J. and Maciel, Rita Suzana and Rubin, Julia and Botterweck, Goetz
Creators: Falzon, Kevin and Pace, Gordon J.
Title: Combining Testing and Runtime Verification
Language: English
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Department of Computer Science > EC SPRIDE
Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
Department of Computer Science
LOEWE > LOEWE-Zentren
Event Title: 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
Event Location: Essen, Germany
Event Dates: September 04, 2012
Date Deposited: 05 Nov 2012 15:03
Official URL: http://www.di.uminho.pt/mompes
Funders: EC-SPRIDE, STEPS
Export:

Optionen (nur für Redakteure)

View Item View Item