共 50 条
- [4] Formal framework to performance testing Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (01): : 43 - 46
- [5] A framework for coupling measurement in Z formal specifications CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (04): : 575 - 578
- [7] Formal definitions of fraud NORMS, LOGICS AND INFORMATION SYSTEMS: NEW STUDIES IN DEONTIC LOGIC AND COMPUTER SCIENCE, 1999, 49 : 275 - 287