poste Intitulé du poste Stage - Ingénieur-e logiciel - Spécification et
vérification formelles d'algorithmes en TLA+ F/H... but d'en proposer une
vérification formelle : communication inter-processus, synchronisations inter-coeurs, ordonnancement. Selon l... -
Voir cette offre d'emploi