Banner do evento


De 15/12 a 15/12/2023
Sala B203
O evento é gratuito
O evento não gera certificado

Palestrante: Thierry Lecomte - R&D Director - ClearSy (França)

Title: Ensuring Safety and Security in Software-Based Systems

How can we develop and verify safe and secure software that will make intelligent decisions when transporting us? This presentation provides an introduction to formal methods. It addresses the demonstration of safety and security for automatic/autonomous ground mobility. It presents the technical challenges that need to be met.

Outros eventos

Banner do evento
De 13/12 a 13/12/2023
Banner do evento
De 02/12 a 05/12/2024
34ª Conferência Anprotec