1. Home
  2. Medien
  3. Bücher
  4. Model checking trace-based information flow properties
  • #
  • #

Model checking trace-based information flow properties

49.00 EUR

Teilen:

Ähnliche Produkte

Automated Verification of Dynamic Access Control Policies

Automated Verification of Dynamic Access Control Policies

68.00 EUR
Using Model Checking to Generate Test Cases for Critical Systems

Using Model Checking to Generate Test Cases for Critical Systems

49.00 EUR
Coverage Metrics for Model Checking

Coverage Metrics for Model Checking

59.00 EUR
Carmona, Josep: Conformance Checking

Carmona, Josep: Conformance Checking

90.94 EUR
25 Years of Model Checking

25 Years of Model Checking

37.44 EUR
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

53.49 EUR
Formalization and Model Checking of Software Architectural Style

Formalization and Model Checking of Software Architectural Style

39.90 EUR
Principles of Model Checking

Principles of Model Checking

128.56 EUR