共 50 条
- [6] Formalization of Requirements for Correct Systems 2020 IEEE WORKSHOP ON FORMAL REQUIREMENTS (FORMREQ 2020), 2020, : 28 - 34
- [8] A Systems-Theoretical Formalization of Closed Systems IEEE Open Journal of Systems Engineering, 2024, 2 : 26 - 37
- [10] On the Formalization of Cardinal Points of Optical Systems FORMALISMS FOR REUSE AND SYSTEMS INTEGRATION, 2015, 346 : 79 - 102