Login / Signup
Alexis Grall
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Cooperative
Complex Systems
Statistical Model
Autoregressive
Top Venues
ABZ
VPT/HCVS@ETAPS
</>
Publications
</>
Horatiu Cirstea
,
Alexis Grall
,
Dominique Méry
Generating Distributed Programs from Event-B Models.
VPT/HCVS@ETAPS
(2020)
Alexis Grall
Automatic Generation of DistAlgo Programs from Event-B Models.
ABZ
(2020)