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]
Abstract is missing.