Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring.

Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard

Browse the full TACAS paper archive.