Projet

Projet sur: Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision

Université Cadi Ayyad

Période: du 12-06-2021 à 12-06-2024

sem fusce consequat nulla nisl nunc nisl duis bibendum felis sed interdum venenatis turpis enim blandit mi in porttitor pede justo eu massa donec

Responsable