Login / Signup
Florent Anseaume
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Highly Efficient
Trust Model
Neural Network
Top Venues
ICSE (2)
</>
Publications
</>
Jean-Frédéric Étienne
,
Manuel Maarek
,
Florent Anseaume
,
Véronique Delebarre
Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.
ICSE (2)
(2015)