Précédent : Actions industrielles Remonter : Actions industrielles Suivant : GIE Dyade
Précédent : Actions industrielles Remonter :
Actions
industrielles Suivant : GIE Dyade
Nous avons une collaboration suivie avec E. Ledinot de Dassault Aviation, au sein de la convention Génie entre Dassault et l'INRIA. Cette collaboration concerne en particulier les aspects de développement de programmes impératifs, de modélisation de systèmes communicants à l'aide de définitions inductives et la construction d'outils de preuve de haut-niveau.