共 50 条
- [32] Formal Registration and Informal Firms in Cambodia [J]. ASIAN DEVELOPMENT REVIEW, 2023, 40 (01) : 151 - 176
- [33] The use of semi-formal methods for detecting requirements interactions [J]. Proceedings of the IASTED International Conference on Software Engineering, 2004, : 230 - 235
- [34] System fault tolerance specification: Proposal of a method combining semi-formal and formal approaches [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 82 - 96
- [35] IRIS: A semi-formal approach for detecting requirements interactions [J]. 11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 273 - 281
- [39] On Dynamic Switching of Navigation for Semi-Formal Design Validation [J]. HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 41 - 48