1. Home
  2. Medien
  3. Bücher
  4. Model-checking infinite state systems for information flow security
  • #

Model-checking infinite state systems for information flow security

71.90 EUR

Teilen:

Ähnliche Produkte

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
Principles of Model Checking

Principles of Model Checking

128.56 EUR

Verification Model Checking and Abstract Interpretation

53.49 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

53.49 EUR

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

53.49 EUR

SPIN Model Checking and Software Verification

53.49 EUR