Formally analyzing software architectural specifications using SAM
Article
He, X, Yu, H, Shi, T et al. (2004). Formally analyzing software architectural specifications using SAM
. JOURNAL OF SYSTEMS AND SOFTWARE, 71(1-2), 11-29. 10.1016/S0164-1212(02)00087-0
He, X, Yu, H, Shi, T et al. (2004). Formally analyzing software architectural specifications using SAM
. JOURNAL OF SYSTEMS AND SOFTWARE, 71(1-2), 11-29. 10.1016/S0164-1212(02)00087-0