> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Model Checking and Model-Based Testing : Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations Beteiligte: Faragó, David [Verfasser]; Schmitt, P. H. [Akademischer Betreuer] Erschienen: Karlsruhe: KIT-Bibliothek, 2016 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: model checking ; model-based testing ; laziness ; parallelization ; heuristics ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 Anmerkungen: Zugangsstatus: Freier Zugang