An Integrated Temporal Composition Model for Synchronization Specification.

Anthony Y. Chang Jason C. Hung

Published in: AINA (2003)

Keyphrases

specification language
statistical model
prediction model
high level
probabilistic model
theoretical analysis
computational model
state machine
multiscale
prior knowledge
probability distribution
management system
experimental data
neural network model
formal model