Login / Signup
model of a turntable system using Spin, CADP and Uppaal.
Elena M. Bortnik
Nikola Trcka
Anton Wijs
Bas Luttik
Joanna M. van de Mortel-Fronczak
Jos C. M. Baeten
Wan J. Fokkink
Jacobus E. Rooda
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
computational model
mathematical model
image sequences
prior knowledge
probabilistic model
statistical model
formal model
neural network
genetic algorithm
multiscale
objective function
d objects
theoretical framework
experimental data