IAEM
Laboratoire : LORIA
Sujet de thèse : Analyse de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité
Date de soutenance : 3 mai 2020
Directeur / Directrice de thèse : MERZ Stephan
Co-directeur / Co-directrice de thèse : BRINZEI Nicolae
Informations supplémentaires :
Article The Conversation : Ma thèse en BD : « Le logiciel anti-pépins »