Verifiable Code Generation from Scheduled Event-B Models.

Mohammadsadegh Dalvandi Michael J. Butler Abdolbaghi Rezazadeh Asieh Salehi Fathabadi

Published in: ABZ (2018)

Keyphrases

code generation
data sets
data mining
decision making
user interface
online learning
application development
model driven