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

Scholarly Activity

related documents

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