Publication | Closed Access
Formally analyzing software architectural specifications using SAM
59
Citations
36
References
2003
Year
Specification LanguageEngineeringProgram AnalysisSystem SpecificationSoftware Architectural SpecificationsFormal MethodsSoftware EngineeringArchitecture SpecificationSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1