A formal Method for Analyzing Software Architecture Models in SAM **Supported in part by the NSF under grants HDR-9707076 and CCR-0098120, and by NASA under grant NAG 2-1440.
Conference
Yu, Huiqun, He, Xudong, Deng, Yi et al. (2002). A formal Method for Analyzing Software Architecture Models in SAM **Supported in part by the NSF under grants HDR-9707076 and CCR-0098120, and by NASA under grant NAG 2-1440.
. 645-652. 10.1109/cmpsac.2002.1045076
Yu, Huiqun, He, Xudong, Deng, Yi et al. (2002). A formal Method for Analyzing Software Architecture Models in SAM **Supported in part by the NSF under grants HDR-9707076 and CCR-0098120, and by NASA under grant NAG 2-1440.
. 645-652. 10.1109/cmpsac.2002.1045076