Time consistency of MSC-2000 specifications.

Tong Zheng Ferhat Khendek

Published in: Comput. Networks (2003)

Keyphrases

data sets
high level
formal specification
databases
global consistency
social networks
multiscale
video sequences
knowledge representation
specification language
consistency checking
maintaining consistency