NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at : http://www.aboutcookies.org/Default.aspx?page=1

26 juin 2015 | Thales et le CEA Tech créent un laboratoire commun dans le domaine des méthodes formelles

"Le groupe Thales et le CEA Tech ont signé un accord de partenariat pour créer un laboratoire commun dédié aux technologies des méthodes formelles pour le développement logiciel. Cette entité va regrouper des équipes du CEA Tech et de Thales qui mutualiseront leur savoir-faire et leur expertise pour mettre en place de nouvelles méthodes formelles de validation des logiciels et des systèmes critiques..."

Lire l'intégralité de l'article : http://www.lembarque.com/thales-et-le-cea-tech-creent-un-laboratoire-commun-dans-le-domaine-des-methodes-formelles_003665