Browsing Research Reports in Software Engineering and Management by Subject "Monitoring"
Now showing items 1-1 of 1
-
On the Specification and Monitoring of Timed Normative Systems
(2022)In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ...