DocumentCode :
3385447
Title :
Design and Formal Specification of an X.25 Packet Level Protocol Implementation
Author :
Schindler, Sigram ; Didier, Jochen ; Steinacker, Michael
Author_Institution :
Technische Universitat Berlin
fYear :
1978
fDate :
1978
Firstpage :
686
Lastpage :
691
Keywords :
Computer errors; Debugging; Formal specifications; Isolation technology; Multiplexing; Operating systems; Proposals; Protocols; Telecommunication computing; Transmitters;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
Type :
conf
DOI :
10.1109/CMPSAC.1978.810550
Filename :
810550
Link To Document :
بازگشت