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

Overview
Research
Identity
View All

authors

Tan, Feng
Wang, Yufei
Wang, Qixin
Bu, Lei
Zheng, Rong
Suri, Neeraj

status

published

publication date

June 2013

published in

2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Journal

presented at event

2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Conference