selected publications

• chapter

  • Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle.  HAL (Le Centre pour la Communication Scientifique Directe). 2012

• document

  • Safety Demonstration for a Rail Signaling Application in Nominal and Degraded Modes Using Formal Proof.  . 71-113. 2014