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