Model checking trace-based information flow properties

Model checking trace-based information
Wo zu kaufen (1) Eigenschaften
Gesponsert
Model checking trace-based information flow properties, Fachbücher von Deepak D'Souza, Barbara Sprick, Raghavendra Kagalavadi Ramesh
Galaxus.de
49.00 EUR
Preis aktualisiert am: 30-04-2026 11:49:30
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

25 Years of Model Checking
25 Years of Model Checking
Produkt anzeigen
Automated Verification of Dynamic Access Control Policies
Automated Verification of Dynamic Access Control Policies
Produkt anzeigen
Using Model Checking to Generate Test Cases for Critical Systems
Using Model Checking to Generate Test Cases for Critical Systems
Produkt anzeigen
Coverage Metrics for Model Checking
Coverage Metrics for Model Checking
Produkt anzeigen
Carmona, Josep: Conformance Checking
Carmona, Josep: Conformance Checking
Produkt anzeigen
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Produkt anzeigen
Menü