Subject
Computer Science Applications,Information Systems,Software
Reference19 articles.
1. RM-ODP, Open distributed Processing—Reference Model—Part 2: Foundations, International Standard 10746-2/ITU-T Recommendation X.902.
2. An approach to designing checking experiments based on a dynamic model;Seitz,1972
3. D. Lee et al., Passive testing and applications to network management, in: ICNP’97 International Conference on Network Protocols, Atlanta, Georgia, October 28–31, 1997.
4. Trace analysis for conformance and arbitration testing;Bochmann;IEEE Transactions on Software Engineering,1989
5. R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir, Test development for communication protocols: towards automation, Computer Networks and ISDN Systems (special issue on Advanced Topics of the SDL Language, June 1999), in press.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献