| Document Date: 2013-06-10 05:40:58
Open Document File Size: 182,96 KBShare Result on Facebook
City Amsterdam / Paris / / Company Esterel Technologies / High Integrity Software / Space Onboard Software / OnBoard Software / / Country France / / / IndustryTerm satellite failures / software industry / validation tools / proof tools / involved software / space systems / software bugs / space software / interactive proof tool / software development / software errors / larger and more complex applications / software validation / / Organization Features division / Functional Unit / / Person David Lesens / Johannes Kanig / Susanne Graf / François-Xavier Dormoy / Yannick Moy / Piotr Nienaltowski / Cyrille Comar / Eric Conquet / John Barnes / / Position interpreter / / Product Ariane / Patriot missile / / ProgrammingLanguage Ada / T / / Technology ESA / /
SocialTag |
Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc