Expressiveness of verifiable hierarchical clock systems.

Moon Ho Hwang Bernard P. Zeigler

Published in: Int. J. Gen. Syst. (2008)

Keyphrases

systems require
real world
expert systems
sufficient conditions
database
databases
metadata
database systems
data structure
distributed systems
intelligent systems
building blocks