Protocoles de communication

: Étude des outils de vérification de conformité d'une implémentation

  • Philippe Bovy
  • Serge Crasset

Student thesis: Master typesMaster in Computer science

Abstract

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

Cite this

Protocoles de communication: Étude des outils de vérification de conformité d'une implémentation
Bovy, P. (Author), Crasset, S. (Author). 1986

Student thesis: Master typesMaster in Computer science