Completeness and Consistency Analysis of State-Based Requirements.

Mats Per Erik Heimdahl, Nancy G. Leveson

Browse the full ICSE paper archive.