Author of the publication

Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.

, , , , , and . DSN, page 1-12. 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

Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks., , , and . RTSS, page 308-319. IEEE Computer Society, (2003)Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors., , , , and . RTSS, page 371-381. IEEE Computer Society, (2004)A Robust Reflector Placement Framework for 60GHz mmWave Wireless Personal Area Networks, , , and . CoRR, (2012)Non-destructive three-dimensional measurement of hand vein based on self-supervised network., , , , and . CoRR, (2019)A quantitative evaluation of health care system in US, China, and Sweden, , , , , and . CoRR, (2013)Acoustic Target Tracking Using Tiny Wireless Sensor Devices., , , , and . IPSN, volume 2634 of Lecture Notes in Computer Science, page 642-657. Springer, (2003)Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization., , , , and . IEEE Trans. Mob. Comput., 7 (5): 570-584 (2008)A novel differentiation sectionalized strengthen planning method for transmission line based on support vector regression., , , , , and . Neural Computing and Applications, 31 (8): 4319-4329 (2019)Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound., , , and . Real-Time Systems, 49 (1): 117-135 (2013)A Robust Algorithm for State-of-Charge Estimation With Gain Optimization., , , , , and . IEEE Trans. Industrial Informatics, 13 (6): 2983-2994 (2017)