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

35.00 EUR

Ein tiefgreifendes Buch, das statistische Testverfahren mit aktiven Lernalgorithmen verknüpft und formale Verifikationsmethoden nutzt, um Softwarezuverlässigkeit exakt zu bestimmen – ideal für Forschung und Praxis in der Qualitätssicherung.

Teilen: