Preux,Francis

Notes

• N91-016: INTERFACE MASS
• R94-050: ROLE STRIPS DANS L ACTIVITE DES CONTROLEURS
• NA95-731: CCTP DANS LE CADRE DU MARCHE D'ASSISTANCE TECHNIQUE AU DEVELOPPEMENT INFORMATIQUE ICC/ACT/RAD
• NT95-796: COMMENTAIRES SUR LES EVOLUTIONS DE DAARWIN
• N96-729: CAHIER DES CHARGES POUR UNE MISISON DANS LE CADRE DU MARCHE D'ASSISTANCE TECHNIQUE AUX DEVELOPPEMENTS INFORMATIQUES POUR ICC,ACT ET RAD
• NL97-013: VALIDATION D'UN SYSTEME CRITIQUE PAR RETRO-CONCEPTION FORMELLE CONGRES GENIE LOGICIEL ET SES APPLICATIONS
• NA98-542: COMPTE RENDU DE LA REUNION ERATO DU 29/01/98
• NT98-611: EVALUATION DES ERATO EN ENVIRONNEMENT CAUTRA
• NT00-508: PROTOTYPE ERATO EN CENTRE DE CONTROLE : EXPRESSION DES BEOINS