共 50 条
- [47] A Learning-based Framework for Automatic Parameterized Verification 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 450 - 459
- [49] Evolvability of Machine Learning-based Systems: An Architectural Design Decision Framework 2023 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION, ICSA-C, 2023, : 106 - 110