Animating Event B Models by Formal Data Models.

Idir Aït-Sadoune Yamine Aït Ameur

Published in: ISoLA (2008)

Keyphrases

data model
databases
statistical models
neural network
formal models
computational models
event detection
data sources
process model
experimental data
query language
artificial neural networks
data structure
formal model
metamodel
formal specification
database systems