Design and formal specification of an X. 25 packet level protocol implementation

The IEEE Computer Society's Second International …, 1978 - ieeexplore.ieee.org
The paper describes the design of the X. 25 module in a formal way, ie in terms of
specifications. The X. 25 module provides functions, by means of which message link level …
被引用次数：5 相关文章

Design and Formal Specification of an X. 25 Packet Level Protocol Implementation

S Schindler, J Didier, M Steinacker - COMPSAC'78-The IEEE …, 1978 - computer.org
The paper describes the design of the X. 25 module in a formal way, ie in terms of
specifications. The X. 25 module provides functions, by means of which message link level …

[引用][C] DESIGN AND FORMAL SPECIFICATION OF AN X. 25 PACKET LEVEL PROTOCOL IMPLEMENTATION

S SCHINDLER, J DIDIER, M STEINACKER - 1978 - pascal-francis.inist.fr
DESIGN AND FORMAL SPECIFICATION OF AN X.25 PACKET LEVEL PROTOCOL
IMPLEMENTATION CNRS Inist Pascal-Francis CNRS Pascal and Francis Bibliographic …