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

Automated Verification of Dynamic Access Control Policies

Automated Verification of Dynamic Access Control Policies

67.99 EUR
Strichman, Ofer: Efficient Decision Procedures for Validation

Strichman, Ofer: Efficient Decision Procedures for Validation

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

Using Model Checking to Generate Test Cases for Critical Systems

48.99 EUR
Coverage Metrics for Model Checking

Coverage Metrics for Model Checking

58.99 EUR
Carmona, Josep: Conformance Checking

Carmona, Josep: Conformance Checking

100.50 EUR
25 Years of Model Checking

25 Years of Model Checking

37.44 EUR