Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Hochschulschrift |
Publikationsjahr | 2016 |
Sprache | Englisch |
Identifikator | urn:nbn:de:swb:90-594737 KITopen-ID: 1000059473 |
Verlag | Karlsruher Institut für Technologie (KIT) |
Umfang | XIII, 503 S. |
Art der Arbeit | Dissertation |
Fakultät | Fakultät für Informatik (INFORMATIK) |
Institut | Institut für Theoretische Informatik (ITI) |
Prüfungsdatum | 29.01.2016 |
Externe Relationen | Siehe auch Siehe auch |
Schlagwörter | model checking, model-based testing, laziness, parallelization, heuristics |
Referent/Betreuer | Schmitt, P. H. |