Prix pour CONVECS au RERS'2019 Challenge

Wednesday
10
Apr
2019
Highlight
Teams: 
Highlight description: 

 

L'équipe CONVECS, en collaboration avec CNR-ISTI (Pise), vient de remporter le 1er prix du RERS'2019 challenge (Rigorous Examination of Reactive Systems) :

Frédéric Lang and Franco Mazzanti Have Won the RERS 2019 Parallel Challenges...