Cover Image

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France /

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among...

Full description

Bibliographic Details
Main Author:	Budkowski, Stan
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cavalli, Ana, Najm, Elie
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1998.
Series:	IFIP — The International Federation for Information Processing ; 6.
Subjects:	Engineering. Computer science. Computer Communication Networks. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan /
Published: (1997)

Protocol Specification and Testing /
by: Tarnay, K.
Published: (1991)

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
Published: (1999)

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
Published: (1999)

Communication Protocol Specification and Verification /
by: Lai, Richard
Published: (1998)

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification /
Published: (1985)

Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification /
Published: (1987)

Formal methods for communication protocol specification and verification /
by: Sunshine, Carl A.
Published: (1979)

Mobile and Wireless Communications : IFIP TC6 /
by: Omidyar, Cambyse Guy
Published: (2003)

Computer Network Architectures and Protocols /
by: Green, Paul E.
Published: (1982)

A formal specification and verification technique for cache coherence protocols /
by: Nanda, Ashwini K. (Ashwini Kumar)
Published: (1991)

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, the Netherlands, 6-9 June, 1989 /
Published: (1990)

Protocol Test Systems VIII : Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 /
by: Cavalli, Ana
Published: (1996)

Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems /
by: Mizuno, Tadanori
Published: (1995)

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Ruschlikon, Switzerland, 31 May-2 June, 1983 /
Published: (1983)

Formal Verification of Circuits /
by: Drechsler, Rolf
Published: (2000)

Multiple Access Protocols : Performance and Analysis /
by: Rom, Raphael
Published: (1990)

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982 /
Published: (1982)

On the detectability of test sequences for protocol verification and validation /
by: Feng, Chao
Published: (1992)

Communication Systems : The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August 25-30, 2002, Montréal, Québec, Canada /
by: Chapin, A. Lyman
Published: (2002)

Communication protocol specification and verification /
by: Lai, Richard, Ph. D.
Published: (1998)

Protocol specification, testing and verification XIV /
Published: (1995)

Source Code Optimization Techniques for Data Flow Dominated Embedded Software /
by: Falk, Heiko
Published: (2004)

CDMA Techniques for Third Generation Mobile Systems /
by: Swarts, Francis
Published: (1999)

UML-B Specification for Proven Embedded Systems Design /
by: Bernin, Fredrik
Published: (2004)

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 /
Published: (1986)

Formal methods of program verification and specification /
Published: (1982)

Survey of communication protocol verification techniques /
by: Sunshine, Carl A.
Published: (1976)

Protocols for High-Speed Networks VI : IFIP TC6 WG6.1 & WG6.4 /
by: Touch, Joseph D.
Published: (2000)

Formal description techniques, II : proceedings of the IFIP TC/WG 6.1 [as printed] Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 /
Published: (1990)

Introduction to IDDQ Testing /
by: Chakravarty, Sreejit
Published: (1997)

Wireless Communications : Theory and Techniques /
by: Sheikh, Asrar U. H.
Published: (2004)

Testing and Diagnosis of VLSI and ULSI /
by: Lombardi, Fabrizio
Published: (1988)

Coded-Modulation Techniques for Fading Channels /
by: Jamali, S. Hamidreza
Published: (1994)

Algorithms and Techniques for VLSI Layout Synthesis /
by: Hill, Dwight
Published: (1988)

Delay Fault Testing for VLSI Circuits /
by: Krstić, Angela
Published: (1998)

Symbolic Simulation Methods for Industrial Formal Verification /
by: Jones, Robert B.
Published: (2002)

Frequency Compensation Techniques for Low-Power Operational Amplifiers /
by: Eschauzier, Rudy G. H.
Published: (1995)

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 /
Published: (1993)

Internetworking and Computing Over Satellite Networks /
by: Zhang, Yongguang
Published: (2003)