Login / Signup
Verification of relations between synchronous machines.
Filip Van Aelten
Jonathan Allen
Srinivas Devadas
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)
Keyphrases
</>
machine learning
model checking
spatial relations
real time
e learning
parallel machines
face verification
concurrent systems
knowledge base
case study
temporal relations