Project

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

Université Cadi Ayyad

Period: from 12-06-2021 to 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

Manager