Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

Communications concernant les méthodes formelles appliquées ici plus particulièrement aux domaines de l'avionique, de l'espace et des transports.