Weighted statistical testing based on active learning and formal verification techniques for software reliability assessment / von Fouad ben Nasr Omri

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe, [2015]Description: 1 Online-Ressource (XV, 188 Seiten) : IllustrationenGenre/Form: DDC classification:
  • 004
Local classification: Lokale Notation: inf 11DOI: DOI: 10.5445/IR/1000050941Online resources: Action note:
  • Archivierung/Langzeitarchivierung gewährleistet DISS
Dissertation note: Dissertation - Karlsruher Institut für Technologie (KIT), 2015 PPN: PPN: 845513710Package identifier: Produktsigel: GBV-ODiss
No physical items for this record

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT