Ce site utilise des cookies pour nous aider à vous donner la meilleure expérience lorsque vous visitez notre site Web. En continuant à utiliser ce site, vous consentez à notre utilisation de ces cookies.
L'équipe CONVECS, en collaboration avec CNR-ISTI (Pise), vient de remporter le 1er prix du RERS'2019 challenge (Rigorous Examination of Reactive Systems) :