Login / Signup

Analyzing temporal properties of abstract models.

Amirhossein Vakili
Published in: ASE (2011)
Keyphrases
  • temporal properties
  • model checking
  • high level
  • probabilistic model
  • sufficient conditions