共 50 条
- [41] Consistency Checking for LSC Specifications THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 119 - 126
- [42] Consistency Checking in Requirements Analysis PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 408 - 411
- [44] Consistency checking of UML requirements ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 411 - 420
- [45] Checking Causal Consistency of MongoDB ACM International Conference Proceeding Series, 2020, : 209 - 216
- [46] Checking Causal Consistency of MongoDB Journal of Computer Science and Technology, 2022, 37 : 128 - 146
- [48] Formalizing and Checking Multilevel Consistency VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 379 - 400
- [49] Consistency Checking of Compliance Rules BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, 2010, 47 : 106 - 118
- [50] On the Complexity of Checking Transactional Consistency PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):