Projet

Projet sur: Compositional verification of component-based real-time systems and applications

Université Louis Pasteur (Strasbourg I)

Période: du 15-05-2020 à 15-05-2023

d accumsan felis ut at dolor quis odio consequat varius integer ac leo pellentesque ultrices mattis

Responsable