Pages that link to "Item:Q3522045"
From MaRDI portal
The following pages link to Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045):
Displaying 6 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
