TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

Feng, Tan ; Wang, Qixin ; Bu, Lei ; Zheng, Rong ; Wang, Yufei ; Suri, Neeraj :
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach.
The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS)
[ Konferenzveröffentlichung] , (2013)

Diese Liste wurde am Sat Mar 23 03:39:00 2019 CET generiert.