مرکز منطقه ای اطلاع رساني علوم و فناوري

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 :