The Prescription and Description of State Based Systems.

Samit Khosla T. S. E. Maibaum

Published in: Temporal Logic in Specification (1987)

Keyphrases

distributed systems
information retrieval
management system
finite state machines
database
data sets
metadata
database systems
face recognition
multiscale
expert systems
intelligent systems
computer systems