SORS: Scalable methods for Verifying Autonomous Cyber-Physical Systems

Severo Ochoa Research Seminars  BSC Events 

Date: 29/Oct/2024 Time: 11:00

Place:

[HYBRID] BSC Auditorium and Online via Zoom.

Click here to participate online
2024-10-29 11:00:00 2024-10-29 11:00:00 Europe/Madrid SORS: Scalable methods for Verifying Autonomous Cyber-Physical Systems For details, click on the following event link: https://www.bsc.es/research-and-development/research-seminars/sors-scalable-methods-verifying-autonomous-cyber-physical-systems ---

Primary tabs