Pages that link to "Item:Q3095241"
From MaRDI portal
The following pages link to Runtime Verification of Component-Based Systems (Q3095241):
Displaying 5 items.
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Statistical model checking of stochastic component-based systems (Q5106945) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- Bridging the gap between single- and multi-model predictive runtime verification (Q6108431) (← links)
