Mechanizing the verification of real-time discrete systems.

Jonathan S. Ostroff

Published in: Microprocessing and Microprogramming (1989)

Keyphrases

real time
low cost
formal methods
complex systems
database
real time systems
distributed systems
computer systems
human machine interface
asynchronous circuits
security systems
intelligent systems
vision system
high speed
management system
genetic algorithm
data mining