Login / Signup
Verification of Control Systems using Circus.
Ana Cavalcanti
Phil Clayton
Published in:
ICECCS (2006)
Keyphrases
</>
optimal solution
control system
model checking
face verification
formal verification
verification method
database
databases
data mining
face recognition
data structure
fuzzy logic
closed loop
formal methods
high security