Une approche déductive à la spécification et au développement d'une application de gestion en temps réel

  • Eric Dubois

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1981
LanguageFrench
Awarding Institution
  • University of Namur
SupervisorA Van Lamsweerde (Supervisor)

Cite this

Une approche déductive à la spécification et au développement d'une application de gestion en temps réel
Dubois, E. (Author). 1981

Student thesis: Master typesMaster in Computer science