Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

1 Résultat
Structure: Internal structure identifier : 134216

Introducing robust reachability

Guillaume Girol , Benjamin Farinier , Sébastien Bardin
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00402-x⟩
Journal articles cea-04102731v1