The following pages link to Programming Languages and Systems (Q5464052):
Displaying 6 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- An engineering process for the verification of real-time systems (Q877159) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- A coverification framework (Q2709263) (← links)
- Verification and Integration of Real-Time Control Software (Q3564014) (← links)
- (Q4509906) (← links)