This website uses cookies to help us give you the best experience when you visit our website. By continuing to use this website, you consent to our use of these 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) :