Sciences de l'ingénieur

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

Publié le 9 juillet 2017 - 20th IFAC World Congress

Auteurs : Elodie Kobeissi, Pierre-Yves Piriou, Jean-Marc Faure