Author of the publication

面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models).

, , , and . 计算机科学, 46 (11): 100-108 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High Productivity Computing System Based on FPGA and Its Application on Plasma Simulation., , , , and . HPCC, page 756-761. IEEE Computer Society, (2008)面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models)., , , and . 计算机科学, 46 (11): 100-108 (2019)A New Orientation Estimation Method Based on Rotation Invariant Gradient for Feature Points., , , , and . IEEE Geosci. Remote. Sens. Lett., 18 (5): 791-795 (2021)Optimizing Research of Man on Board Automated Storage and Retrieval System Goods Storing and Retrieving Problem., and . HIS (1), page 511-515. IEEE Computer Society, (2009)Virtual realization of automatic stair-climbing motion by leg-wheeled hybrid mobile robot., , , and . ROBIO, page 1352-1357. IEEE, (2010)Field demonstration of distributed quantum sensing without post-selection., , , , , , , , , and 5 other author(s). OFC, page 1-3. IEEE, (2021)An improved rate-monotonic scheduler and a real-time open control platform for robotic control algorithm verification., , , and . ROBIO, page 318-323. IEEE, (2007)Development of big danger disposal manipulator - Proposal and mechatronic system design -., , and . ROBIO, page 1415-1420. IEEE, (2008)Research on Autonomous Grasping Technology Based on Vision., , , , , and . ROBIO, page 796-801. IEEE, (2019)Design and Research on Informatization Teaching in the Courses of Higher Vocational College Based on TPACK - - Take the Computer Aided Design Course as an Example.. ICISCAE (ACM), page 2499-2503. ACM, (2021)