> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Weighted statistical testing based on active learning and formal verification techniques for software reliability assessment Beteiligte: Omri, Fouad ben Nasr [VerfasserIn] Erschienen: Karlsruhe: KIT Scientific Publishing, [2018] Erschienen in: The Karlsruhe series on software design and quality ; 22 Umfang: 1 Online-Ressource (xiii, 162 Seiten); Illustrationen Sprache: Englisch DOI: 10.5445/KSP/1000051517 ISBN: 9783731504726 Identifikator: Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2015 Anmerkungen: Zugangsstatus: Freier Zugang