Prix pour CONVECS au RERS'2019 Challenge

Mercredi
10
Avr
2019
Fait marquant
  • Distinctions obtenues par des personnes
Équipes : 
Description du fait marquant : 

 

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...