Formal description techniques and protocol specification, testing and verification
Subtitle: 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
By: ed. by Tadanori Mizuno, Norio Shiratori, Teruo Higashino and Atsushi Togashi.
Contributors: Mizuno, Tadanori.; International Federation for Information Processing.; IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification (17th : 1997 : Osaka, Japan)
Edition: 1st ed.
Publisher: Chapman & Hall; Springer
Published: 1997
Place of publication: London
Language: eng
Number of pages: 550
Subjects: Computer network protocols -- Congresses.; Formal languages -- Congresses.
Other titles: FORTE X.; PSTV XVII '97.
Notes: Includes bibliographical references and index.