Thèse soutenue

Formalisation de l'interfonctionnement dans les résaux de télécommunication et définition d'une théorie de test pour systèmes concurrents

FR  |  
EN