DEVICE FOR FORMAL VERIFICATION OF AUTOMOTIVE CONTROL SOFTWARE AND METHODS RECORDING MEDIUM FOR PERFORMING THE METHOD

• 1. 用于捕捉通过生物介质的声和电磁场的作用在初始晶体结构中诱导的变化的方法和用于执行所述方法的装置、用于在复制晶体的结构中复制初始晶体结构的变化的方法(变型)和用于执行所述方法的装置(变型)、用于对生物对象施加影响的方法(变型)和用于执行所述方法的装置 [P] . 中国专利： CN102256664A . 2011-11-23
• 2. 提供关于应用的信息的方法、用于执行所述方法的装置以及记录有用于运行所述方法的程序的计算机可读记录介质 [P] . 中国专利： CN104137066A . 2014-11-05
• 3. DEVICE FOR FORMAL VERIFICATION OF AUTOMOTIVE CONTROL SOFTWARE AND METHODS RECORDING MEDIUM FOR PERFORMING THE METHOD [P] . 韩国专利： KR102004592B1 . 2019-07-26

  机译： 用于自动控制软件的形式验证的装置和记录介质的方法，用于执行该方法

• 4. METHOD FOR TASK SCHEDULING VISUALIZATION FOR AUTOMOTIVE CONTROL SOFTWARE RECORDING MEDIUM AND DEVICE FOR PERFORMING THE METHOD [P] . 韩国专利： KR101701800B1 . 2017-02-02

  机译： 用于自动控制软件记录介质的任务可视化任务的方法和执行该方法的设备

• 5. SENSOR AUTHENTICATION SERVER SOFTWARE DEFINED NETWORK CONTROLLER AND METHOD PERFORMING AUTHENTICATION PROTOCOL FOR SENSOR DEVICES RECORDING MEDIUM FOR PERFORMING THE METHOD [P] . 韩国专利： KR102127758B1 . 2020-06-29

  机译： 传感器认证服务器软件定义的网络控制器和方法，用于执行传感器装置的记录协议，以执行该方法

• 1. Modeling Open Software Architectures of Robot Controllers: A Brief Survey of Modeling Methods and Developing Methods [J] . 高技术通讯（英文版） . 2002,第004期
• 2. Integrating object-oriented methods and formal methods for requirement engineering [J] . 陈怡海, 缪淮扣 哈尔滨工业大学学报（英文版） . 2004,第003期
• 3. Methods and Devices of Speckle-Noise Suppression (Review) [J] . Igor Kompanets, Nikolay Zalyapin 光学与光子学期刊（英文） . 2020,第010期
• 4. Improving the Trustworthiness of Medical Device Software with Formal Verification Methods [J] . Li, C., Raghunathan, Embedded Systems Letters, IEEE . 2013,第3期
• 5. Formal methods-based verification of medical device software analysis [J] . Paul Jones, Raoul Jetley, Jay Abraham Electronic Engineering Times . 2010,第apra5期
• 6. Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods [J] . JAN TRETMANS, KLAAS WIJBRANS, MICHEL CHAUDRON Formal Methods in System Design . 2001,第2期
• 7. Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?(Invited Talk) [C] . Thomas Kropf International Conference on Computer Aided Verification . 2007
• 8. Formal verification techniques for safety critical medical device software control. [D] . Shuja, Sana. 2016
• 9. The New Food and Drug Administration Center for Devices and Radiological Health Engineering and Physics Laboratory and Methods for Testing Software That Controls Infusion Pumps [O] . David C. Klonoff 2007
• 10. Formal methods for integration of automotive software [O] . Marek Jersak, Kai Richter, Rolf Ernst, 2003

• 1. A Formal Method for Service Choreography Verification Based on Description Logic [J] . Tingting Zhang ,Yushi Lan ,Minggang Yu . 计算机、材料和连续体(英文) . 2020,第2期
• 2. An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z [J] . Nasir Mehmood Minhas ,Asad Masood Qazi ,Sidra Shahzadi . 软件工程与应用（英文） . 2015,第8期
• 3. 《一种用于构成执行元器件组合量的方法》简介及其在电力无功补偿装置中的应用 [C] . 林在禧 . 中国电工技术学会电力电容器学会2003年学术年会 . 2003
• 4. 适用于压入方法材料试验机的小型高温加热装置研究 [A] . 姜琦 . 2019