Projet

Projet sur: Analyse a base de SAT de la diagnosticabilite et de la predictabilite des systemes a evenements discrets centralises

Université Blaise Pascal (Clermont-Ferrand II)

Période: du 17-01-2020 à 17-01-2023

Lien

licitudin mi sit amet lobortis sapien sapien non mi integer ac neque duis bibendum morbi non quam nec dui luctus rutrum nulla tellus in sagittis dui vel nisl duis ac nibh fusce lacus purus aliquet at feugiat

Responsable