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

Omri, Fouad Ben Nasr

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

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
KIT Scientific Publishing
Data di pubblicazione
2018
Lingua
Inglese
ISBN 10 
3731504723
ISBN 13 
9783731504726
Rilegatura
Copertina flessibile
Numero di pagine
192
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  1013279336 ISBN 13:  9781013279331
Casa editrice: Saint Philip Street Press, 2020
Rilegato