Consistent Verification of Scenarios-Based Requirement Specification

Guozhu Liu. Consistent Verification of Scenarios-Based Requirement Specification. In Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri, editors, CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. pages 717-721, IEEE Computer Society, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.