Pages that link to "Item:Q2703729"
From MaRDI portal
The following pages link to Real-time verification techniques for untimed systems (Q2703729):
Displaying 11 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- An engineering process for the verification of real-time systems (Q877159) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Optimizing path real-time logic for unified real-time system (Q1701817) (← links)
- On verification of refinements of timed distributed algorithms (Q2753701) (← links)
- Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
- The Unmet Challenge of Timed Systems (Q5170750) (← links)
- Refinement-Based Verification of Interactive Real-Time Systems (Q5403466) (← links)
- The dynamic checking of complex real time system (Q5492511) (← links)
- (Q5754521) (← links)