共 50 条
- [42] Developing BON as an industrial-strength formal method FM'99-FORMAL METHODS, 1999, 1708 : 834 - 853
- [48] Requirements for industrial-strength formal method tools 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 137 - 138
- [50] Industrial-strength software product line engineering SOFTWARE PRODUCT LINES, PROCEEDINGS, 2004, 3154 : 311 - 311