formelle propriétaires utilisés actuellement par la RATP avec celles d’approches basées sur des outils open
source similaires.... Développer un outil de preuve formelle basé sur les outils open
source pour qu’ils soient compatibles avec les outils RATP 02... -
Voir cette offre d'emploi