Pages that link to "Item:Q4972169"
From MaRDI portal
The following pages link to Runtime Verification over Out-of-order Streams (Q4972169):
Displaying 5 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Formal verification of out-of-order execution with incremental flushing (Q1604722) (← links)
- Runtime enforcement with reordering, healing, and suppression (Q6041274) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- Decentralized deadlock-free enforcement of message orderings in message-based systems (Q6564617) (← links)