Login / Signup
Models and temporal logical specifications for timed component connectors.
Farhad Arbab
Christel Baier
Frank S. de Boer
Jan J. M. M. Rutten
Published in:
Softw. Syst. Model. (2007)
Keyphrases
</>
finite state machines
statistical models
neural network
experimental data
computational models
temporal data
data mining
information retrieval
high level
model selection
temporal reasoning
mathematical models
conceptual models