Login / Signup

Flexible and configurable verification policies with Omnibus.

Thomas WilsonSavi MaharajRobert G. Clark
Published in: Softw. Syst. Model. (2008)
Keyphrases
  • model checking
  • multiscale
  • decision making
  • real world
  • machine learning
  • expert systems
  • supply chain
  • optimal policy
  • face verification
  • formal verification
  • cryptographic protocols