Environment Model based Requirements Consistency Verification: An Example.

Qianqian Liu, Xiaohong Chen, Zhi Jin

Browse the full RE paper archive.