On the Specification and Monitoring of Timed Normative Systems

Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider. On the Specification and Monitoring of Timed Normative Systems. In Lu Feng 0001, Dana Fisman, editors, Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. Volume 12974 of Lecture Notes in Computer Science, pages 81-99, Springer, 2021. [doi]

Authors

Shaun Azzopardi

This author has not been identified. Look up 'Shaun Azzopardi' in Google

Gordon J. Pace

This author has not been identified. It may be one of the following persons: Look up 'Gordon J. Pace' in Google

Fernando Schapachnik

This author has not been identified. Look up 'Fernando Schapachnik' in Google

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google