Abstract :
The following topics are dealt with: cyber-physical systems; formal methods; control infrastructure; CPS applications; model-driven development and sensor networks.
Keywords :
software engineering; wireless sensor networks; CPS applications; control infrastructure; cyber-physical systems; formal methods; model-driven development; sensor networks;
Conference_Titel :
Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
978-1-61284-640-8
DOI :
10.1109/ICCPS.2011.1