共 50 条
- [41] Requirements for industrial-strength formal method tools 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 137 - 138
- [48] Formal methods and industrial-strength computer networks REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 223 - 233
- [50] Industrial-strength software product line engineering SOFTWARE PRODUCT LINES, PROCEEDINGS, 2004, 3154 : 311 - 311