Falzon, Kevin ; Pace, Gordon J.
Hrsg.: Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz (2012)
Combining Testing and Runtime Verification.
8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Essen, Germany (04.09.2012-04.09.2012)
Konferenzveröffentlichung, Bibliographie
URL / URN: 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. |
| Art des Eintrags: | Bibliographie |
| Titel: | Combining Testing and Runtime Verification |
| Sprache: | Englisch |
| Publikationsjahr: | 4 September 2012 |
| Veranstaltungstitel: | 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software |
| Veranstaltungsort: | Essen, Germany |
| Veranstaltungsdatum: | 04.09.2012-04.09.2012 |
| URL / URN: | http://www.di.uminho.pt/mompes |
| 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: | 05 Nov 2012 15:03 |
| Letzte Änderung: | 05 Mär 2013 10:03 |
| PPN: | |
| Sponsoren: | EC-SPRIDE, STEPS |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum