Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2011 |
Sprache | Englisch |
Identifikator | ISBN: 978-0-7695-4345-1 KITopen-ID: 1000026371 |
Erschienen in | VAST 2011 - First International Workshop on Variability-intensive Systems Testing, Validation, and Verification, Mar 21, 2011 - Mar 21, 2011, Berlin, Germany. In: IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011, Berlin, Germany, 21-25 March 2011 (ICSTW 2011), Proceedings |
Verlag | IEEE Computer Society |
Seiten | 294 - 297 |
Nachgewiesen in | Dimensions |