Login / Signup
Verifying and Testing Asynchronous Circuits using LOTOS.
Ji He
Kenneth J. Turner
Published in:
FORTE (2000)
Keyphrases
</>
asynchronous circuits
model checking
delay insensitive
process algebra
data sets
website
temporal logic
information systems
image segmentation
temporal ordering
formal specification language