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.) (2012):
Combining Testing and Runtime Verification.
In: 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, Essen, Germany, September 04, 2012, [Online-Edition: http://www.di.uminho.pt/mompes],
[Conference or Workshop Item]

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
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
LOEWE
20 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