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

Omri, Fouad Ben Nasr

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

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
KIT Scientific Publishing
Date d'édition
2018
Langue
anglais
ISBN 10 
3731504723
ISBN 13 
9783731504726
Reliure
Broché
Nombre de pages
192
Coordonnées du fabricant
non disponible
Personne responsable
info@bod.de
info@bod.de

Überseering 33
Hamburg
22297
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  1013279336 ISBN 13 :  9781013279331
Editeur : Saint Philip Street Press, 2020
Couverture rigide