Items where Author is "Zheng, R."
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Contribution in Book/Report/Proceedings
Tan, F. and Wang, Y. and Wang, Q. and Bu, L. and Zheng, R. and Suri, Neeraj (2013) Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS : A hybrid formal modeling approach. In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE. ISBN 9781467364713