On the Specification and Monitoring of Timed Normative Systems
Paper i proceeding, 2021
Författare
Shaun Azzopardi
Chalmers, Data- och informationsteknik, Formella metoder
Göteborgs universitet
Gordon Pace
University of Malta
Fernando Schapachnik
Universidad de Buenos Aires
Gerardo Schneider
Data Science och AI
Göteborgs universitet
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 12974 LNCS 81-99978-303088493-2 (ISBN)
Virtual, Online, USA,
Ämneskategorier (SSIF 2025)
Datavetenskap (datalogi)
DOI
10.1007/978-3-030-88494-9_5