Author of the publication

Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems.

, , , , and . IMIS, page 58-65. IEEE Computer Society, (2014)

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

基于业务能力的可配置业务流程模型变化域分析 (Change Region Analysis of Configurable Business Process Model Based on Business Capability)., , , and . 计算机科学, 46 (10): 322-328 (2019)A Method of Mining Hidden Transition of Business Process Based on Region., , , and . IEEE Access, (2018)Pixelated Carrier Phase-Shifting Shearography Using Spatiotemporal Low-Pass Filtering Algorithm., , , , , and . Sensors, 19 (23): 5185 (2019)基于行为轮廓的业务流程隐变迁挖掘方法 (Method of Mining Hidden Transition of Business Process Based on Behavior Profiles)., , , and . 计算机科学, 46 (12): 334-340 (2019)基于接口变迁的交互流程模型挖掘方法 (Interaction Process Model Mining Method Based on Interface Transitions)., , and . 计算机科学, 45 (3): 317-321 (2018)Integrated decision making for predictive maintenance of belt conveyor systems., , , , and . Reliab. Eng. Syst. Saf., (2019)A design method for three-dimensional maintenance, repair and overhaul job card of complex products., , , , and . Comput. Ind., 65 (1): 200-209 (2014)Research on Amount of Information of Multi-satellite Electronic Reconnaissance Based on Joint Probability Data Association., , and . CSPS, volume 463 of Lecture Notes in Electrical Engineering, page 1727-1734. Springer, (2017)基于日志自动机的业务流程混沌活动过滤方法 (Chaotic Activity Filter Method for Business Process Based on Log Automaton)., , , and . 计算机科学, 47 (1): 66-71 (2020)A fast and efficient hash function based on generalized chaotic mapping with variable parameters., , and . Neural Comput. Appl., 28 (6): 1405-1415 (2017)