7

Behavioural model-based testing of software product lines
Behavioural model-based testing of software product lines

Jan 1, 2017
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Jan 1, 2010