Modeling timing assumptions with trace theory.

Published in: ICCD (1989)

Keyphrases

theoretical basis
database
multiscale
theoretical framework
modeling method
modeling framework
general theory
real time
databases
search engine
computational model
mathematical models
formal theory