DISASTER-STRICKEN AREA SPECIFICATION DEVICE, DISASTER-STRICKEN AREA SPECIFICATION PROGRAM, AND DISASTER-STRICKEN AREA SPECIFICATION SYSTEM

• 1. 一种采用BGP Flow Specification略控制数据流量行为的方法 [P] . 中国专利： CN112532519A . 2021-03-19
• 2. DISASTER-STRICKEN PLACE SPECIFICATION SYSTEM [P] . 日本专利： JP2017224917A . 2017-12-21

  机译： 灾难地点规范系统

• 3. SPECIFICATION INSPECTION DEVICE, CORRESPONDENCE TABLE GENERATION DEVICE, SPECIFICATION INSPECTION SYSTEM, SPECIFICATION INSPECTION PROGRAM, CORRESPONDENCE TABLE GENERATION PROGRAM, SPECIFICATION INSPECTION METHOD OF SPECIFICATION INSPECTION DEVICE, AND CORRESPONDENCE TABLE GENERATION METHOD OF CORRESPONDENCE TABLE GENERATION DEVICE [P] . 日本专利： JP2012103884A . 2012-05-31

  机译： 规格检查装置，对应表生成装置，规格检查系统，规格检查程序，规格表生成程序的规格检查方法，规格表装置的对应方法，表表格对象的对应方法

• 4. DISASTER-STRICKEN AREA INFORMATION SHARING SYSTEM AND CONTROL PROGRAM THEREOF [P] . 日本专利： JP2006217411A . 2006-08-17

  机译： 灾区信息共享系统及其控制程序

• 1. Research on system-of-systems combat simulation model formal specification and representation [J] . Liu Chen 系统工程与电子技术（英文版） . 2006,第004期
• 2. An oversampling approach for mining program specifications [J] . Deng CHEN, Yan-duo ZHANG, Wei WEI, 浙江大学学报（英文版）（C辑：计算机与电子） . 2018,第006期
• 3. “SPECIFICATION PLUS TRANSFORMATION TO PROGRAM”：A NEW MODEL OF SOFTWARE DEVELOPMENT [J] . 沈军, 程正潮 东南大学学报：英文版 . 1995,第002期
• 4. Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting [J] . Samik Basu, Ratnesh Kumar 自动化学报：英文版 . 2021,第005期
• 5. Federal Guidance Improves Water System Access in Disaster-Stricken Areas [J] . Pickard Brian, Howachyn Conor, Manalo Christian Journal of American Water Works Association . 2020,第7期
• 6. Pharmacopeial specifications and analytical data from post-marketing quality sampling and testing programs: A perspective beyond out-of-specification results [J] . Journal of Pharmaceutical and Biomedical Analysis: An International Journal on All Drug-Related Topics in Pharmaceutical, Biomedical and Clinical Analysis . 2020,第期
• 7. Certification centres for management systems in the energy industry: Principles, normative specifications, DAkkS specifications, formalita using the example of ISO 27001 [J] . Loubichi Stefan ATW . 2017,第11期
• 8. Support system for restoration process of disaster-stricken lifeline networks by ga [C] . Hiroyuki Sugimoto, Akinori Katagiri, Tohru Tamura, Conference on Optimization in Industry March 23-27, 1997 Palm Coast, Florida . 1998
• 9. A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ. [D] . Sherrell, Linda Bostwick. 1995
• 10. Vibrotactile Coordinated Reset Stimulation for the Treatment of Neurological Diseases: Concepts and Device Specifications [O] . Peter A Tass -1
• 11. Proposal for a Council Decision on the recognition of the British Standard BS7750: 1994, establishing specification for environmental management systems, in accordance with article 12 of the Council Regulation (EEC) N. 1836/93 of 29 June 1993, allowing voluntary participation by companies in the industrial sector in a community eco-management and audit scheme; Proposal for a Council Decision on the recognition of Irish Standard IS310: First Edition, establishing specification for environmental management systems, in accordance with Article 12 of the Council Regulation (EEC) N. 1836/93 of 29 June 1993, allowing voluntary participation by companies in the industrial sector in a community eco-management and audit scheme; Proposal for a Council Decision on the recognition of Spanish Standard UNE77-801(2)-94: , establishing specification for environmental management systems, in accordance with Article 12 of the Council Regulation (EEC) N. 1836/93 of 29 June 1993, allowing voluntary participation by companies in the industrial sector in a community eco-management and audit scheme (presented by the Commission). COM (95) 422 final, 27 September 1995 [O] . 1995
• 12. ELECTROSTATIC GYRO EVALUATION PROGRAM GYRO TEST SPECIFICATIONS VOLUME III: APPENDIX C. PROGRAM SPECIFICATION FOR THE GIM6ALED AESG DATA ANALYSIS SYSTEM [R] . ROBERT RITTER 1964

• 1. A Trace-state Based Approach to Specification and Design of Parallel Programs [J] . . 计算机工程 . 1996,第0S1期
• 2. Specification of the Real Estate Cycle in China from 1986 to 2008 ——Based on the Diffusion Index Method [C] . Lei Feng ,Xueqin Tan ,Wei Li . The Conference on Web Based Business Management (WBM 2010)(2010年基于互联网的商业管理学术会议) . 2010
• 3. 图里翻译规范理论指导下的说明文翻译实践报告——以Circuit Breakers, ACB, Low Voltage, Electric Power, Air, Removable Constructio n, General Specification for（节选）汉译为例 [A] . 张韵涵 . 2019