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