Pages that link to "Item:Q1383470"
From MaRDI portal
The following pages link to A formal approach to protocol interoperability testing (Q1383470):
Displaying 6 items.
- Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols (Q927464) (← links)
- Fully automated interoperability test suite derivation for communication protocols. (Q1426234) (← links)
- Formal description and test cases generation of protocols based on input/output sequence (Q3406857) (← links)
- (Q3411607) (← links)
- (Q3838120) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479184) (← links)