manon-guilbaud documents

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
Documents 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