Verification Techniques for LOTOS.

Ursula Martin M. Thomas

Published in: FME (1994)

Keyphrases

model checking
face verification
concurrent systems
formal verification
high security
formal analysis
functional verification
false acceptance rate
formal methods
neural network
signature verification
mobile robot
asynchronous circuits
artificial neural networks
temporal ordering
case study
metadata
real world