Pages that link to "Item:Q5710654"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710654):
Displaying 16 items.
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Scalable online feasibility tests for admission control in a Java real-time system (Q853608) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- On Conformance Testing for Timed Systems (Q3543302) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464469) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Formal Approaches to Software Testing (Q5902014) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)
