Validation of Transformation from Abstract State Machine Models to C++ Code.

Silvia Bonfanti Angelo Gargantini Atif Mashkoor

Published in: ICTSS (2018)

Keyphrases

state machine
state machines
finite state machines
learning algorithm
computational models
machine learning algorithms
experimental data
intelligent agents
data exchange
statistical models
complex systems
data sets
probabilistic model
low level
information systems
machine learning
data mining