Login / Signup
Deriving Event-B Models from Mealy Machines: Application to an Auction System.
J. Christian Attiogbé
Published in:
MEDI (2015)
Keyphrases
</>
real time
probabilistic model
modeling method
data mining
multi agent
prior knowledge