Sang-Ho Kim, Eun-ser Kim, Choon Seong Leem, Ho-jun Shin, Tai-Hoon Kim. SSE-CMM BPs to Meet the Requirements of ALC_DVS.1 Component in CC. In Adnan Yazici, Cevat Sener, editors, Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings. Volume 2869 of Lecture Notes in Computer Science, pages 1069-1075, Springer, 2003. [doi]
Abstract is missing.