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

Omri, Fouad Ben Nasr

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
KIT Scientific Publishing
Año de publicación
2018
Idioma
Inglés
ISBN 10 
3731504723
ISBN 13 
9783731504726
Encuadernación
Tapa blanda
Número de páginas
192
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  1013279336 ISBN 13:  9781013279331
Editorial: Saint Philip Street Press, 2020
Tapa dura