DocumentCode
158063
Title
Table of contents
fYear
2014
fDate
25-26 Aug. 2014
Abstract
The following topics are dealt with: cyber-physical systems; formal verification; human in-the-loop CPS; and communication networks.
Keywords
formal verification; telecommunication networks; communication networks; cyber-physical systems; formal verification; human in-the-loop CPS;
fLanguage
English
Publisher
ieee
Conference_Titel
Cyber-Physical Systems, Networks, and Applications (CPSNA), 2014 IEEE International Conference on
Conference_Location
Hong Kong
Type
conf
DOI
10.1109/CPSNA.2014.4
Filename
6961226
Link To Document