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;
Conference_Titel :
Cyber-Physical Systems (ICCPS), 2012 IEEE/ACM Third International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-1537-1
DOI :
10.1109/ICCPS.2012.62
