Author of the publication

Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.

, , , , and . COMPSAC, page 539-548. IEEE Computer Society, (2013)

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

Design and Performance Analysis of a Multilayer Sea Ice Temperature Sensor Used in Polar Region., , , , and . Sensors, 18 (12): 4467 (2018)A vector table model-based systematic analysis of spectral fault localization techniques., , , and . Softw. Qual. J., 27 (1): 43-78 (2019)Wheat Ear Recognition Based on RetinaNet and Transfer Learning., , , , , , , , , and . Sensors, 21 (14): 4845 (2021)An end-to-end inverse reinforcement learning by a boosting approach with relative entropy., , , , , and . Inf. Sci., (2020)From Patch to Pixel: A Transformer-Based Hierarchical Framework for Compressive Image Sensing., , , , and . IEEE Trans. Computational Imaging, (2023)Control strategy of solid state power electronic transformer under voltage disturbance conditions., , , , , and . IECON, page 3081-3085. IEEE, (2015)Improving Spectrum-Based Fault Localization using quality assessment and optimization of a test suite., , and . QRS Companion, page 72-78. IEEE, (2020)Design of Environmental Monitoring and Control System for Greenhouse Based on Long Range Wireless Technology., , and . icWCSN, page 19-25. ACM, (2021)The Improvement of Public Key Cryptography Based on Chaotic Neural Networks., , , , and . ISDA (3), page 326-330. IEEE Computer Society, (2008)A Methodology of Model-Based Testing for AADL Flow Latency in CPS., , , and . SSIRI (Companion), page 99-105. IEEE Computer Society, (2011)