Rui Couto, José Creissac Campos. High Assurance on Cyber-Physical Interactive Systems. In Benjamin Weyers, Judy Bowen, editors, Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019. Volume 2503 of CEUR Workshop Proceedings, pages 46-50, CEUR-WS.org, 2019. [doi]
@inproceedings{CoutoC19a,
title = {High Assurance on Cyber-Physical Interactive Systems},
author = {Rui Couto and José Creissac Campos},
year = {2019},
url = {http://ceur-ws.org/Vol-2503/paper1_7.pdf},
researchr = {https://researchr.org/publication/CoutoC19a},
cites = {0},
citedby = {0},
pages = {46-50},
booktitle = {Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019},
editor = {Benjamin Weyers and Judy Bowen},
volume = {2503},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}