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

Omri, Fouad Ben Nasr

 
9783731504726: Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Softcover
ISBN 10: 3731504723 ISBN 13: 9783731504726
Verlag: KIT Scientific Publishing, 2018

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
KIT Scientific Publishing
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
3731504723
ISBN 13 
9783731504726
Einband
Tapa blanda
Anzahl der Seiten
192
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781013279331: Weighted Statistical Testing Based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Vorgestellte Ausgabe

ISBN 10:  1013279336 ISBN 13:  9781013279331
Verlag: Saint Philip Street Press, 2020
Hardcover