2015

Tan, Feng ; Wang, Yufei ; Wang, Qixin ; Bu, Lei ; Suri, Neeraj (2015)
A Lease based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
In: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
Artikel, Bibliographie

2013

Feng, Tan ; Wang, Qixin ; Bu, Lei ; Zheng, Rong ; Wang, Yufei ; Suri, Neeraj (2013)
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach.
Konferenzveröffentlichung, Bibliographie