Contribution à la mise en oeuvre d'un logiciel X400 : utilisation des langages formels de spécification et réalisation d'un outil d'analyse et de production d'unités de données de protocole

  • Philippe Brossel

Student thesis: Master types › Master in Computer science

Date of Award1987
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorPhilippe Van Bastelaer (Supervisor)

Cite this

Documents

'