Thèses de l'étudiant
- 1 résultats
Résultats de recherche
-
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Auteur: Devroey, X., 2010Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Personne externe) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)
Student thesis: Master types › Master en sciences informatiques
Fichier