共 50 条
- [31] Educating industrial-strength software engineers 11TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION, PROCEEDINGS, 1998, : 139 - 150
- [36] Developing BON as an industrial-strength formal method FM'99-FORMAL METHODS, 1999, 1708 : 834 - 853
- [37] ABC: An Academic Industrial-Strength Verification Tool COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 24 - 40
- [38] COMPACTPCI - AN INDUSTRIAL-STRENGTH COMPUTER BUS STANDARD I&CS-INSTRUMENTATION & CONTROL SYSTEMS, 1995, 68 (11): : 67 - 69
- [40] Requirements for industrial-strength formal method tools 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 137 - 138