Login / Signup
Extending mCRL2 with ready simulation and iocos input-output conformance simulation.
Carlos Gregorio-Rodríguez
Luis Llana
Rafael Martínez-Torres
Published in:
SAC (2015)
Keyphrases
</>
input output
mathematical model
learning algorithm