Specification, validation, and verification of time-critical systems.

Shiuh-Pyng Shieh Jun-Nan Chen

Published in: Comput. Commun. (1998)

Keyphrases

formal methods
asynchronous circuits
formal verification
search engine
data sets
databases
multimedia
distributed systems
formal languages
automated verification
database
face recognition
digital libraries
knowledge based systems
reactive systems