Project

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

Université Louis Pasteur (Strasbourg I)

Period: from 15-05-2020 to 15-05-2023

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

Manager