Property verification of asynchronous systems.

Antonio Cerone George J. Milne

Published in: Innov. Syst. Softw. Eng. (2005)

Keyphrases

asynchronous circuits
management system
neural network
knowledge base
complex systems
model checking
computer vision
case study
expert systems
mobile robot
distributed systems
building blocks
asynchronous communication