TU Darmstadt / ULB / TUbiblio

Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach

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

Item Type: Conference or Workshop Item
Erschienen: 2013
Creators: Feng, Tan and Wang, Qixin and Bu, Lei and Zheng, Rong and Wang, Yufei and Suri, Neeraj
Title: Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach
Language: German
Title of Book: The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS)
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > Dependable Embedded Systems & Software
LOEWE > LOEWE-Zentren
20 Department of Computer Science
LOEWE
Date Deposited: 30 Dec 2016 21:41
Identification Number: TUD-CS-2013-0106
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item