Pages that link to "Item:Q2506266"
From MaRDI portal
The following pages link to Verification of embedded systems based on interval analysis (Q2506266):
Displaying 4 items.
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- Hybrid cache analysis in running time verification of embedded software (Q1857153) (← links)
- Verification approach of Metropolis design framework for embedded systems (Q2506294) (← links)
- (Q4949356) (← links)