Completeness and consistency in hierarchical state-base requirements (1996)

by Mats P. E. Heimdahl , Nancy G. Leveson
Venue:IEEE Transactions on Software Engineering
Citations:105 - 15 self