Pages that link to "Item:Q3648826"
From MaRDI portal
The following pages link to Safe Runtime Verification of Real-Time Properties (Q3648826):
Displaying 4 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Runtime Verification: Passing on the Baton (Q6488339) (← links)
