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

Overview
Identity
View All

publication venue for

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