Part of
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.
Umfang: XIII, 162 S.
Preis: €35.00 | £32.00 | $62.00
These are words or phrases in the text that have been
automatically identified by the
Named Entity Recognition and Disambiguation service,
which provides Wikipedia
(
)
and Wikidata
(
)
links for these entities.
Omri, F. 2018. Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000051517
Dieses Buch ist lizenziert unter Creative Commons Attribution + ShareAlike 4.0 Dedication
Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier
Veröffentlicht am 11. Dezember 2018
Englisch
192
| Paperback | 978-3-7315-0472-6 |