DocumentCode
2042896
Title
[Front cover]
fYear
2012
fDate
17-19 April 2012
Abstract
The following topics are dealt with: medical devices; scheduling; smart energy; modeling; verification and smart grid security.
Keywords
biomedical equipment; formal verification; modelling; power system security; smart power grids; medical devices; modeling; scheduling; smart energy; smart grid security; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Cyber-Physical Systems (ICCPS), 2012 IEEE/ACM Third International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4673-1537-1
Type
conf
DOI
10.1109/ICCPS.2012.62
Filename
6197443
Link To Document