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.