[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/646219.682179guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Towards a Formal Framework for Interoperability Testing

Published: 28 August 2001 Publication History

Abstract

No abstract available.

Cited By

View all
  • (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
  • (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
  • (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

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
FORTE '01: Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
August 2001
456 pages

Publisher

Kluwer, B.V.

Netherlands

Publication History

Published: 28 August 2001

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 31 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (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
  • (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
  • (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
  • (2005)Formalizing interoperability testingProceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems10.1007/11562436_40(533-537)Online publication date: 2-Oct-2005
  • (2005)Quiescence management improves interoperability testingProceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems10.1007/11430230_25(365-379)Online publication date: 31-Mar-2005
  • (2004)Integrated system interoperability testing with applications to VoIPIEEE/ACM Transactions on Networking10.1109/TNET.2004.83613612:5(823-836)Online publication date: 1-Oct-2004
  • (2003)Interoperability testing based on a fault model for a system of communicating FSMsProceedings of the 15th IFIP international conference on Testing of communicating systems10.5555/1764575.1764598(226-242)Online publication date: 26-May-2003

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media