A Model Interpreter for Timed Automata.

M. Usman Iftikhar Jonas Lundberg Danny Weyns

Published in: ISoLA (1) (2016)

Keyphrases

computational model
statistical model
management system
neural network model
probabilistic model
parameter estimation
mathematical model
experimental data
artificial intelligence
high level
simulation model