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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item