Cover Image

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 /

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN. 1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application...

Full description

Bibliographic Details
Corporate Authors: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification Osaka, Japan, SpringerLink (Online service)
Other Authors: Mizuno, Tadanori
Format: Conference Proceeding eBook
Language:French
Published: London ; New York : Chapman & Hall, [1997]
Subjects:
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Computer network protocols.
Electronic data processing > Distributed processing.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN. 1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Item Description:Electronic resource.
Physical Description:1 online resource (vii, 550 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9780387352718 (electronic bk.)
0387352716 (electronic bk.)