DocumentCode :
1848096
Title :
Design of correct communication protocols through analysis and synthesis
Author :
Chang, Ye-In ; Chen, Jui-Hsiang
fYear :
1994
fDate :
12-15 April 1994
Firstpage :
127
Keywords :
Algorithm design and analysis; Automata; Channel capacity; Error correction; Event detection; Explosions; Mathematics; Protocols; Reachability analysis; State-space methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computers and Communications, 1994., IEEE 13th Annual International Phoenix Conference on
Conference_Location :
Phoenix, AZ, USA
Print_ISBN :
0-7803-1814-5
Type :
conf
DOI :
10.1109/PCCC.1994.504103
Filename :
504103
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1848096
بازگشت