共 50 条
- [41] Construction of LVDC Demonstration Site for Verification of Performance and Safety Function of Component in LVDC System [J]. 2023 25TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS, EPE'23 ECCE EUROPE, 2023,
- [42] Electromagnetic modeling, optimization and on-site verification of electromagnetic fields exposure from high power RF sources [J]. 2007 6TH INTERNATIONAL CONFERENCE ON ANTENNA THEORY AND TECHNIQUES, PROCEEDINGS, 2007, : 301 - 303
- [43] EMERALD: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems [J]. 2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 120 - 123
- [44] Requirements Characteristics Verification Method and Tool based on Rules constructed form Software Component Relationships [J]. 2015 SECOND INTERNATIONAL CONFERENCE ON TRUSTWORTHY SYSTEMS AND THEIR APPLICATIONS, 2015, : 53 - 62
- [46] Systematic defect inspection and verification for distributions of critical dimension in OPC models utilizing design based metrology tool [J]. METROLOGY, INSPECTION, AND PROCESS CONTROL FOR MICROLITHOGRAPHY XXII, PTS 1 AND 2, 2008, 6922 (1-2):
- [48] RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 394 - 406
- [49] ON-SITE VERIFICATION OF REAL-TIME CHECKING SYSTEM FOR IMPROVED RANGE BY HIGH-PRESSURE INJECTING GROUND IMPROVEMENT [J]. INTERNATIONAL JOURNAL OF GEOMATE, 2018, 14 (41): : 167 - 172