Protocol specification, testing and verification V/

Protocol specification, testing and verification V/

12

Bibliographic Details
Main Authors:	IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (5th : 1985 : Toulouse, France and Moissac), Diaz, Michel
Format:
Subjects:	Computer network protocols

Similar Items

Protocol specification, testing, and verification IV /
by: IFIP WG 6.1 International Workshop Protocol Specification, Testing and Verification (4th : 1984 : Skytop Lodge, Pa.), et al.
Published: (1985)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Routing protocols and concepts : CCNA exploration companion guide /
by: 372930 Graziani, Rick, et al.
Published: (2008)

Synchronizing internet protocol security (SIPSec) /
by: 297338 Shoniregun, Charles A.
Published: (2007)

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

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

The Internet Protocol (IP) and Global Telecommunications Transformation
by: McGarty, Terrence
Published: (2002)

Sensor network protocols /
by: Mahgoub, Imad, et al.
Published: (2006)

Communication protocol engineering /
by: Popovic, Miroslav, 1961-
Published: (2006)

Communication protocol engineering /
by: 233430 Venkataram, Pallapa, et al.
Published: (2008)

Network management software using simple network management protocol /
by: 249559 Pannirselvam S Minniappan
Published: (1996)

Main group mechanochemistry : from curiosity to established protocols
by: Tan, Davin, et al.
Published: (2020)

Implementation of management information base software for simple network management protocol /
by: 247655 Abdurrzzag Giuma Tamtam
Published: (1997)

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

TCP/IP protocol suite/
by: Forouzan, Behrouz A. 389761
Published: (2000)

Elements of network protocol design /
by: 256970 Gouda, Mohamed G.
Published: (1998)

Clinical guidelines and care protocols /
by: 448230 Hewitt-Taylor, Jacque
Published: (2006)

Network interconnection and protocol conversion /
by: Green, Paul E.
Published: (1988)

Formal correctness of security protocols /
by: 275596 Bella, Giampaolo
Published: (2007)

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)

Energy balancing mechanisms for decentralized routing protocols in wireless sensor networks
by: Saleh, Ahmed Mohammed Shamsan
Published: (2012)

Effects of Authentication of Users in Mobile Internet Protocol Version 6
by: Obenofunde, Simon Tabi
Published: (2004)

IPv6 core protocols implementation /
by: Li, Qing, 1971-, et al.
Published: (2007)

The complete IS-IS routing protocol /
by: 284468 Gredler, Hannes, et al.
Published: (2005)

OSI : networking protocols

Human error, safety and systems development : IFIP 18th World Computer Congress TC13/WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004 Toulouse, France /
by: IFIP TC13/WG13.5 Working Conference on Human Error, Safety and Systems Development (7th : 2004 : Toulouse, France), et al.
Published: (2004)