共 50 条
- [41] Concrete experience in using an ESTELLE workstation Proceedings of the International Conference on Computer Communication, 1991,
- [43] Eccomp. An estelle. C compiler for automatic implementation of network protocols Journal of the Institution of Engineers (India), Part CP: Computer Engineering Division, 1994, 75
- [45] Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 104 - 108
- [46] TEST SUITE GENERATION FOR APPLICATION LAYER PROTOCOLS FROM FORMAL SPECIFICATIONS IN ESTELLE PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 67 - 85
- [47] How to specify security services: A practical approach COMMUNICATIONS AND MULTIMEDIA SECURITY, 2003, 2828 : 158 - 171
- [48] Development of complex communications protocols using EstelleDÉveloppement de protocoles de communications complexes en utilisant estelle Annales Des Télécommunications, 2000, 55 (1-2): : 4 - 19
- [49] OBJECT-ORIENTED IMPLEMENTATION OF OSI APPLICATION LAYER PROTOCOLS IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (11): : 3694 - 3704