Sign in
Joachim Hotonnier
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Image Sequences
Probability Distribution
Linear Model
Sensitivity Analysis
Top Venues
MoDELS
</>
Publications
</>
Zheng Cheng
,
Massimo Tisi
,
Joachim Hotonnier
Certifying a rule-based model transformation engine for proof preservation.
MoDELS
(2020)