Produktbild: Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Lieferzeit: Lieferbar innerhalb 14 Tagen

35,00 €

inkl. 7 % MwSt. zzgl. Versandkosten

ISBN: 3731504723
ISBN 13: 9783731504726
Autor: Omri, Fouad ben Nasr
Verlag: Karlsruher Institut für Technologie
Umfang: 192 S.
Erscheinungsdatum: 12.12.2018
Auflage: 1/2018
Format: 1.3 x 21 x 14.8
Gewicht: 286 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6086439 Kategorie:

Beschreibung

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

Herstellerkennzeichnung:


BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE

E-Mail: info@bod.de

Das könnte Ihnen auch gefallen …