Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements.

Christian Ellen, Sven Sieverding, Hardi Hungar

Browse the full FMICS paper archive.