The following pages link to Jan Tretmans (Q239143):
Displayed 11 items.
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- On-the-fly conformance testing using SPIN (Q1856165) (← links)
- Model-Based Testing of Environmental Conformance of Components (Q3525108) (← links)
- On Conformance Testing for Timed Systems (Q3543302) (← links)
- Integrating Verification, Testing, and Learning for Cryptographic Protocols (Q3608895) (← links)
- (Q4532083) (← links)
- (Q4896913) (← links)
- Formal Approaches to Software Testing (Q5710638) (← links)
- Formal Approaches to Software Testing (Q5902012) (← links)
- Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods (Q5959854) (← links)
- Goodbye ioco (Q6163899) (← links)