@inproceedings{dhaussy:hal-00517224,
  TITLE = {{Exp{\'e}rimentation d'unit{\'e}s de preuve pour la validation formelle de logiciels embarqu{\'e}s critiques}},
  AUTHOR = {Dhaussy, Philippe and Pillain, Pierre-Yves and Kerjean, Dominique and de Belloy, Stephane and Du Sorbier, Arnaud and Bonnin, Hugue and Boniol, Fr{\'e}d{\'e}ric},
  URL = {https://hal.science/hal-00517224},
  BOOKTITLE = {{Journ{\'e}e ADA-France 2007 : m{\'e}thodes, processus, mod{\`e}les et outils pour l'ing{\'e}nierie du logiciel embarqu{\'e} temps r{\'e}el critique}},
  ADDRESS = {Brest, France},
  YEAR = {2007},
  HAL_ID = {hal-00517224},
  HAL_VERSION = {v1},
}