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

類似資料