Frédéric Boniol12-14 juin 2011 – R2I2011 Vérification formelle des systèmes et des architectures embarqués critiques (avioniques (Airbus)) Frédéric Boniol.
