共 50 条
- [22] A Demonstration of Core-Model Independence in Evolutionary Model Consistency Checking 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), 2019, : 499 - 503
- [24] Gradual Consistency Checking COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 267 - 285
- [26] Optimal Reads-From Consistency Checking for C11-Style PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
- [27] Consistency Checking of an Ontology Concept Model Based on Description Logics INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (12): : 89 - 94
- [29] Automated Architecture Consistency Checking for Model Driven Software Development ARCHITECTURES FOR ADAPTIVE SOFTWARE SYSTEMS, 2009, 5581 : 36 - 51
- [30] Checking Model Consistency using Data-Flow Testing APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 414 - 421