Verifying critical cyber-physical systems after deployment
Cyber-Physical Systems (CPS) are increasingly novel hardware and software compositions creating smart, autonomously acting devices, enabling efficient end-to-end workflows and new forms of user-machine interaction. The heterogeneous, evolving and distributed nature of CPS means that there is little...
第一著者: | O'Halloran, C |
---|---|
その他の著者: | Grov, G |
フォーマット: | Journal article |
出版事項: |
European Association of Software Science and Technology
2015
|
類似資料
-
Minimized Cost Gateway Deployment in Cyber-Physical Systems
著者:: Hao Wang, 等
出版事項: (2015-09-01) -
A Trust With Abstract Information Verified Routing Scheme for Cyber-Physical Network
著者:: Xiao Liu, 等
出版事項: (2018-01-01) -
Competitive Swarm Optimizer Based Gateway Deployment Algorithm in Cyber-Physical Systems
著者:: Shuqiang Huang, 等
出版事項: (2017-01-01) -
Critical reading of a text through its electronic supplement
著者:: Kieran O’Halloran
出版事項: (2010-10-01) -
Critical reading of a text through its electronic supplement
著者:: Kieran O’Halloran
出版事項: (2011-06-01)