共 16 条
- [1] Barrett C., 2010, Proceedings of the 8th International Workshop on Satisfiability Modulo Theories
- [2] Broy M., 2001, Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement, DOI DOI 10.1007/978-1-4613-0091-5
- [3] Z3: An efficient SMT solver [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 337 - 340
- [4] Haber A., 2016, Aachener Informatik-Berichte, Software Engineering, V24
- [7] The Palladio-Bench for Modeling and Simulating Software Architectures [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 37 - 40
- [8] Holldobler K., 2021, MontiCore Language Workbench and Library Handbook: Edition 2021. Aachener InformatikBerichte, Software Engineering, V48
- [9] Katic J., 2021, The slingshot simulator: an extensible eventdriven PCM simulator
- [10] Kausch H., 2020, COMB P WORKSH SOFTW, V2581