A Formal Method for Analyzing Software Architecture Models in SAM.

Huiqun Yu, Xudong He, Yi Deng, Lian Mo

Browse the full COMPSAC paper archive.