News

Verimag News

Seminars

  • In 5 days, Niklas Kochdumper (IRIF, Université Paris Cité) on 23 January 2025 at 14h00 : « Reachability Analysis and its Application to Verification and Control of Cyber-Physical Systems »

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4253688

UGA CNRS INP Grenoble