Auflistung Nach Schlagwort "Model Checking" - Digitale Bibliothek

Anzeige der Dokumente 1-3 von 3

Cooperative Test-Case Generation with Verifiers

Beyer, Dirk; Jakobs, Marie-Christine
107--108
Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms

Becker, Jan Steffen; Koopmann, Björn; Stierand, Ingo; Westhofen, Lukas
66-77
Verification of Plastic Interactive Systems

Oliveira, Raquel; Dupuy-Chessa, Sophie; Calvary, Gaëlle
192–204

Anzeige der Dokumente 1-3 von 3