Verification of Scenario-Based Safety Requirement Specification on Components Composition

Du Junwei, Xu Zhongwei, Mei Meng. Verification of Scenario-Based Safety Requirement Specification on Components Composition. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 686-689, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.