Login / Signup
Theory of Deductive Systems for Protocol Verification.
Xiaobo Li
Richard Lai
Tharam S. Dillon
Published in:
ICCI (1992)
Keyphrases
</>
formal methods
computational model
asynchronous circuits
intelligent systems
database
information systems
building blocks
model checking
artificial intelligence
expert systems
management system
object oriented
distributed systems
lightweight
learning systems
complex systems