Sciences de l'ingénieur

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

Published on 9 July 2017 - 20th IFAC World Congress

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