Travelled to:
1 × Italy
Collaborated with:
J.Étienne M.Maarek F.Anseaume
Talks about:
predict (1) improv (1) effici (1) trust (1) proof (1) model (1) activ (1) base (1)
Person: Veronique Delebarre
DBLP: Delebarre:Veronique
Contributed to:
Wrote 1 papers:
- ICSE-v2-2015-EtienneMAD #modelling #performance #predict #process #proving #trust
- Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.