By Topic

[Title page i]

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.

The following topics are dealt with: cyber-physical systems; formal methods; control infrastructure; CPS applications; model-driven development and sensor networks.

Published in:

Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on

Date of Conference:

12-14 April 2011