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