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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number	Status	Get It
Call Number:		QA76.9.D5 I33845 1997

QA76.9.D5 I33845 1997	Available