Model checking trace-based information flow properties | DealShopping Deutschland
  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

25 Years of Model Checking

25 Years of Model Checking

37.44 EUR
Carmona, Josep: Conformance Checking

Carmona, Josep: Conformance Checking

90.94 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
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