Pages that link to "Item:Q3540088"
From MaRDI portal
The following pages link to Run-Time Monitoring of Electronic Contracts (Q3540088):
Displayed 7 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence (Q2999322) (← links)
- Run-Time Monitoring of Electronic Contracts (Q3540088) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)