[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis
Jiang, Miao; Munawar, Mohammad A.; Reidemeister, Thomas; Ward, Paul A.S.
- 作者Jiang, Miao; Munawar, Mohammad A.; Reidemeister, Thomas; Ward, Paul A.S.
- 文件大小341.94KB
- 发表时间2008
- DOI10.1109/hase.2008.16
- 页码323-332