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: 17-09-2026 18:31:56
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

25 Years of Model Checking
25 Years of Model Checking
Aus37.44 EUR 3
Produkt anzeigen
Carmona, Josep: Conformance Checking
Carmona, Josep: Conformance Checking
Aus90.94 EUR 2
Produkt anzeigen
Automated Verification of Dynamic Access Control Policies
Automated Verification of Dynamic Access Control Policies
Aus67.99 EUR 2
Produkt anzeigen
Using Model Checking to Generate Test Cases for Critical Systems
Using Model Checking to Generate Test Cases for Critical Systems
Aus48.99 EUR 2
Produkt anzeigen
Coverage Metrics for Model Checking
Coverage Metrics for Model Checking
Aus58.99 EUR 2
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
Aus54.99 EUR 1
Produkt anzeigen
Menü