A Model Checking Based Software Requirements Specification Approach for Embedded Systems.

Xiao Yang, Xiaohong Chen, Jiangtao Wang

Browse the full RE paper archive.