共 50 条
[41]
Selection criteria for automated TTCN test case generation from SDL
[J].
2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS,
1999,
:10-11
[43]
Reconfiguration in shipboard power systems
[J].
2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13,
2007,
:4027-+
[44]
SELECTION CRITERIA FOR PYROLYTIC GRAPHITE IN ADVANCED BALLISTIC SYSTEMS
[J].
AMERICAN CERAMIC SOCIETY BULLETIN,
1965, 44 (09)
:737-&
[46]
Instrumentation Selection Criteria for Field Monitoring of Retaining Systems
[J].
PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON TRANSPORTATION GEOTECHNICS, VOL 8, ICTG 2024,
2025, 409
:397-405
[47]
Test selection criteria for modal specifications of reactive systems
[J].
TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS,
2007,
:159-+
[48]
Review of automated control systems for aquaculture and design criteria for their implementation
[J].
Aquacultural Engineering,
14 (03)