Project

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)

Period: from 17-01-2020 to 17-01-2023

Link

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

Manager