Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Abderrahman Matoussi
Latest
Improving Traceability between KAOS Requirements Models and B Specifications
Towards Validation of Requirements Models
A First Attempt to Express KAOS Refinement Patterns with Event B
Cite
×