Almost ASAP Semantics: From Timed Models to Timed Implementations.

Martin De Wulf Laurent Doyen Jean-François Raskin

Published in: HSCC (2004)

Keyphrases

probabilistic model
petri net
statistical models
neural network
finite state machines
data mining
discrete event
parameter estimation
computational models
metamodel
classification models
timed automata