Cited By
View all- Desmoulin AViho C(2007)Automatic interoperability test case generation based on formal definitionsProceedings of the 12th international conference on Formal methods for industrial critical systems10.5555/1793603.1793622(234-250)Online publication date: 1-Jul-2007
- Maag SZaidi FOuld-Khaoua MCaminero B(2006)Testing methodology for an ad hoc routing protocolProceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks10.1145/1163653.1163663(48-55)Online publication date: 2-Oct-2006
- Wang ZWu JYin XShi XTian B(2006)Using TIMEDTTCN-3 in interoperability testing for real-time communication systemsProceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems10.1007/11754008_21(324-340)Online publication date: 16-May-2006
- Show More Cited By