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

Ein praxisnahes Werk, das statistische Tests mit aktiven Lernverfahren verknüpft und formale Verifikation einsetzt, um Softwarezuverlässigkeit präz ...

Allgemein

Marke
Kit Scientific Publishing
ISBN
Kit Scientific Publishing 3731504723

Eigenschaften

Menü