The following pages link to (Q4532080):
Displaying 6 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
