A Temporal Logic-Based Model of Event-Driven Nets.

Viktor Cingel Norbert Fristacky

Published in: Real Time Syst. (1991)

Keyphrases

event driven
computational model
mathematical model
formal model
prior knowledge
high level
objective function
spatio temporal
parameter estimation
theoretical framework
experimental data
probabilistic model
em algorithm
statistical model
conceptual model