Protocol specification, testing, and verification IV /

Protocol specification, testing, and verification IV /

16

Bibliographic Details
Main Authors:	IFIP WG 6.1 International Workshop Protocol Specification, Testing and Verification (4th : 1984 : Skytop Lodge, Pa.), Yemini, Yechiam, Strom, Robert, Yemini, Shaula
Format:
Published:	Amsterdam : North-Holland, 1985
Subjects:	Computer network protocols

Similar Items

Protocol specification, testing and verification V/
by: IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (5th : 1985 : Toulouse, France and Moissac), et al.

Protocol specification, testing and verification /
by: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (2nd : 1982 : Idyllwild, Calif.), et al.
Published: (1982)

An economy for flow control in computer networks /
by: 303378 Ferguson, Donald F., et al.

Formal description techniques and protocol specification, testing and verification /
by: Caalli, Ana, et al.
Published: (1998)

Building Protein Domain Based Composite Biobricks for Mammalian Expression Systems
by: Balint, Balint L, et al.
Published: (2010)

Triple exclusion: Life stories of Jewish migrant academics from the former Soviet Union at a contested university under siege
by: Kot, V, et al.
Published: (2020)

Information network and data communications IV /
by: IFIP TC 6 International Conference on Information Network and Data Communication (4th : 1992 : Espoo, Finland), et al.
Published: (1992)

Location-Based Approach for Route Maintenance in Dynamic Source Routing Protocol
by: Sjaugi, Muhammad Farhan
Published: (2008)

Enhanced on-demand routing protocols in high mobility mobile Ad hoc network
by: Al-Nahari, Abdulaziz Yahya Yahya
Published: (2023)

Performance of Ad-Hoc on-Demand Distance Vector Discovery Algorithms Based On Packet Lifetime
by: Ahmad, Noor Azlan
Published: (2008)

Crosstalk-Free Scheduling Algorithms for Routing in Optical Multistage Interconnection Networks
by: Raja Mohd Auzar, Tengku Dian Shahida
Published: (2009)

Performance of Transmission Control Protocol (TCP) Congestion Control Over Wireless Links Using Modified Snoop Protocol
by: Moojid, Furat Asmat
Published: (2003)

Manufacturing Automation Protocol : MAP 3.0 /
by: OMNICOM Institute (Great Britain)
Published: ([n.d)

Prototaip aplikasi merekod dan semakan saman UTM menggunakan teknologi protokol aplikasi tanpa wayar (WAP) menerusi peranti mudah alih /
by: Mohd. Rizam Zainal Abidin, author, et al.
Published: (2007)

Pembangunan pelayan proxy SIP untuk komunikasi berbilang pengguna /
by: 387646 Lee, Chuw Fan, et al.
Published: (2007)

Performance analysis of OSPF and EIGRP protocols in a very dynamic network
by: Ahmed Mohammed, Abdul Nasser, et al.
Published: (2009)

ARP server for connection establisment on internet /
by: 260383 Low, Yau Loong
Published: (1999)

Sistem penghantaran data antara pelayan-pelanggan melalui internet /
by: 365850 Lee, Ban Hup
Published: (2000)

Pelayan dan pelanggan FTP /
by: 185859 Shahril Othman
Published: (1999)

Increasing TCP friendliness by implementing simple adaptive congestion control framework in wireless network
by: Elangkovan, Sri Ganesh
Published: (2018)

Quantum key distribution protocols in transmission control protocol
by: Kamarul Aizan, Nur Hanani
Published: (2012)

A formal specification and verification framework for timed security protocols
by: Li, Li, et al.
Published: (2020)

Optimization algorithms for multipath transfer over asymmetric paths using concurrent multipath transfer stream control transmission protocol
by: Abass, Abdulridha Hanash
Published: (2016)

Kawalan sistem dengan menggunakan telefon mudahalih berinternet (WAP) [microfilm] /
by: Emran Mohd. Tamil
Published: (2002)

Teknologi WAP : sistem pembelian tiket bas melalui WAP /
by: 411660 Ng, Hor Yien
Published: (2001)

Prototaip sistem panduan pelancong berasaskan lokasi melalui WAP /
by: 368363 Soon, Chun Boon
Published: (2002)

Networks `98 /
by: IEEE Singapore International Conference (6th : 1998 : Singapore), et al.
Published: (1998)

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
by: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), et al.
Published: (2008)

Traffic Balancing Method in Shortest Path Routing
by: Mohamed Abdulqader, Makarem
Published: (2007)

Network monitoring using SNMP (Simple Network Management Protocol) /
by: 438951 Tang, Wiey Khiang
Published: (1999)

Bee-inspired protocol engineering : from nature to networks /
by: 312449 Muddassar Farooq
Published: (2009)

Web-Based Network Device Monitoring Tool Using Simple Network Management Protocol (Snmp)
by: Hossen, Md.Jakir
Published: (2003)

Improvement of the medium and processing protocol for cryopreservation of boer goat spermatozoa
by: Memon, Akeel Ahmed
Published: (2012)

Intermodular communication without addressing in planar arrays of modules connected with one way-channels (Selcuk networks),
by: Sahin, Kenan E.
Published: (2009)

Output-feedback protocols without controller interaction for consensus of homogeneous multi-agent systems: A unified robust control view
by: Li, Xianwei, et al.
Published: (2017)

IS-IS network design solutions /
by: 416189 Martey, Abe, et al.
Published: (2002)

Data link protocols/
by: 338343 Black, Uyless D.
Published: (1993)

Network protocols /
by: 256983 Naugle, Matthew G.
Published: (1999)

The kerberos authentication system /
by: 296978 Lee, Mun Fai
Published: (2001)

What is MAP (Manufacturing Automation Protocol) /
by: 232926 Pye, Colin
Published: (1988)