✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

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

von Fouad Ben Nasr Omri
Softcover - 9783731504726
35,00 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 5 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

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.

Details

Verlag KIT Scientific Publishing
Ersterscheinung 11. Dezember 2018
Maße 21 cm x 14.8 cm
Gewicht 370 Gramm
Format Softcover
ISBN-13 9783731504726
Seiten 192

Schlagwörter

Informatik und Informationstechnologie