Title :
Proceedings of ICNP - 1994 International Conference on Network Protocols
Abstract :
The following topics were dealt with: multicasting; protocol design and performance; protocol testing; network security; protocol verification and validation; protocol synthesis; protocol development methods; fault-tolerant topology and routing
Keywords :
formal verification; performance evaluation; protocols; telecommunication network routing; telecommunication traffic; fault-tolerant topology; multicasting; network security; performance; protocol design; protocol development methods; protocol synthesis; protocol testing; protocol verification; routing;
Conference_Titel :
Network Protocols, 1994. Proceedings., 1994 International Conference on
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-8186-6685-4
DOI :
10.1109/ICNP.1994.344383
