Generating Distributed Programs from Event-B Models.

Horatiu Cirstea Alexis Grall Dominique Méry

Published in: VPT/HCVS@ETAPS (2020)

Keyphrases

database
distributed systems
multi agent
prior knowledge
lightweight
complex systems
computer networks
computer programs
artificial intelligence
cooperative
programming language
model selection
statistical model
experimental data
statistical models
event detection