Mapping SMV models to event-B models.

Samah Hassan Mohamed Taher Ayman M. Wahba

Published in: IDT (2010)

Keyphrases

real time
machine learning
database
databases
artificial intelligence
e learning
decision trees
evolutionary algorithm
least squares
classification models
accurate models