共 50 条
- [21] Automating invariant verification of behavioral specifications QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 49 - +
- [23] East Asian ALMA Imaging Team Studies with ALMA Science Verification Data NEW TRENDS IN RADIO ASTRONOMY IN THE ALMA ERA: THE 30TH ANNIVERSARY OF NOBEYAMA RADIO OBSERVATORY, 2013, 476 : 411 - 412
- [24] AUTOMATING PRODUCTION PROCESSES IN ENGINEERING RUSSIAN ENGINEERING JOURNAL-USSR, 1967, 47 (12): : 5 - &
- [25] Automating communication in civil engineering JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 1997, 123 (02): : 113 - 120
- [26] Statistical analysis and verification of performance for CSP subsystems INTERNATIONAL CONFERENCE ON CONCENTRATING SOLAR POWER AND CHEMICAL ENERGY SYSTEMS, SOLARPACES 2014, 2015, 69 : 1441 - 1450
- [27] Automating the Verification of Floating-Point Programs VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS (VSTTE 2017), 2017, 10712 : 102 - 119
- [28] ALMA engineering fault detection framework OBSERVATORY OPERATIONS: STRATEGIES, PROCESSES, AND SYSTEMS VII, 2018, 10704
- [30] AUTOMATING ENGINEERING SERVICES IN THE NUCLEAR INDUSTRY TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1984, 47 : 360 - 360