Activities per year
- 1 results
Search results
-
Co-verification for robotics: from simulation to verification of hybrid systems
Pedro Fernando De Oliveira Salazar Ribeiro (Speaker)
4 Sept 2023Activity: Talk or presentation › Workshop