Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke.

Format:

Book

Conference/Event

Contributor:

Gotzhein, Reinhard.

Bredereke, Jan.

International Federation for Information Processing.

Conference Name:

FORTE Conference (9th : 1996 : Kaiserslautern, Germany)

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (16th : 1996 : Kaiserslautern, Germany)

Language:

English

Subjects (All):

Formal languages--Congresses.

Formal languages.

Electronic data processing--Distributed processing--Congresses.

Electronic data processing.

Electronic data processing--Distributed processing.

Electronic data processing--Distributed processing--Protocols--Congresses.

Genre:

Conference papers and proceedings.

Physical Description:

vii, 516 pages : illustrations ; 25 cm

Place of Publication:

London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996.

Summary:

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Notes:

Includes bibliographical references and index.

ISBN:

041279490X

OCLC:

35829207