Formally analyzing software architectural specifications using SAM Article

cited authors

  • He, XD; Yu, HQ; Shi, TJ; Ding, JH; Deng, Y

publication date

  • April 2004

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 71

issue

  • 1-2

research area