Auteur : Samir OUCHANI (LINEACT)

Conférence : Conférences invitées nationales ou internationales - 11/06/2024 - Summer School CPS and IoT

Application on Autonomous Decisions Using Formal Methods