Pages that link to "Item:Q1888201"
From MaRDI portal
The following pages link to Experimental evaluation of verification and validation tools on Martian Rover software (Q1888201):
Displaying 6 items.
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308419) (← links)