共 50 条
- [31] SPECIFICATION AND CLASSES OF SOLID BIOFUELS IN EUROPEAN STANDARDS TRENDS IN AGRICULTURAL ENGINEERING 2010, 2010, : 254 - +
- [32] STANDARDS FOR NON-EXECUTABLE SPECIFICATION LANGUAGES COMPUTER JOURNAL, 1992, 35 (06): : 567 - 573
- [34] BRITISH STANDARDS SPECIFICATION FOR BALLOON DILATATION CATHETERS BRITISH JOURNAL OF RADIOLOGY, 1989, 62 (743): : 1034 - 1034
- [37] FORMAL SPECIFICATION AND VERIFICATION TECHNIQUES FOR RISC PIPELINE CONFLICTS COMPUTER JOURNAL, 1995, 38 (02): : 111 - 120
- [38] Formal specification and verification techniques for RISC pipeline conflicts 1600, Oxford Univ Press, Oxford, United Kingdom (38):
- [39] THE STATUS OF ARCTIC OFFSHORE PIPELINE STANDARDS AND TECHNOLOGY PROCEEDINGS OF THE ASME 39TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, OMAE2020, VOL 7, 2020,