Login / Signup
Flexible and configurable verification policies with Omnibus.
Thomas Wilson
Savi Maharaj
Robert 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