共 50 条
- [42] CHET: A system for checking dynamic specifications 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 302 - 305
- [45] Generation of Monitoring Functions in Production Automation Using Test Specifications 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2017, : 339 - 344
- [46] Sensors for Control of Arc Welding - Specifications, Functions and Classification. Schweissen und Schneiden/Welding and Cutting, 1979, 31 (07): : 273 - 275
- [48] A Language for Writing System Specifications in an Aeronautical Context 2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2015, : 406 - 411
- [49] Codesign requires closed-system specifications INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 2968 - 2974
- [50] SPECIFICATIONS FOR A THREADING SYSTEM - SHEAVES, BEARINGS AND MOUNTINGS PIMA MAGAZINE, 1985, 67 (04): : 40 - &