共 50 条
- [21] Gradual Consistency Checking COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 267 - 285
- [23] Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 401 - 410
- [25] Towards an IT Governance of DevOps Metamodel 2021 INTERNATIONAL CONFERENCE ON DECISION AID SCIENCES AND APPLICATION (DASA), 2021,
- [27] Partial MaxSAT Computation of Conformance Checking Artefacts 2021 3RD INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2021), 2021, : 17 - 24