Electronic Communications of the EASST
Stefaneas, Petros
-
Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 - Articles
Supporting Ethical Decisions in Wearable Technology with Deontic Logic: A Brief Introduction
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.