↧
Le projet Tokeneer d’Altran Praxis récompensé par « Microsoft Research »
Le prix "Microsoft Research Verified Software Milestone Award" vient couronner les deux années de développement de Tokeneer par les équipes d'Altran Praxis. S'il porte sur un logiciel lié à la...
View ArticleProjet Hi-Lite : AdaCore veut révolutionner la vérification des logiciels...
Récemment, les résultats du projet Hi-Lite associant AdaCore (développement d'applications critiques) et un bouquet de partenaires (Altran, INRIA, EADS-Astrium, CEA List, Thales) ont été présentés. But...
View Article