Formal verification at design stage of diagnosis related properties for discrete event and real-time systems. (Vérification formelle au stade de la conception de propriétés liées au diagnostic des systèmes à événements discrets et temps réel)

Lulu He. Formal verification at design stage of diagnosis related properties for discrete event and real-time systems. (Vérification formelle au stade de la conception de propriétés liées au diagnostic des systèmes à événements discrets et temps réel). PhD thesis, University of Paris-Saclay, France, 2022. [doi]