The following pages link to Model Checking Software (Q5308369):
Displayed 10 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- On Conformance Testing for Timed Systems (Q3543302) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)