Student theses
- 1 results
Search results
-
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Author: Devroey, X., 2010Supervisor: Vanhoof, W. (Supervisor), Ponsard, C. (External person) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)
Student thesis: Master types › Master in Computer science
File