Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology) - Softcover

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo

 
9781475752601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
Softcover
ISBN 10: 1475752601 ISBN 13: 9781475752601
Publisher: Springer, 2013

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
1475752601
ISBN 13 
9781475752601
Binding
Paperback
Number of pages
561

Other Popular Editions of the Same Title

9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)

Featured Edition

ISBN 10:  0412820609 ISBN 13:  9780412820601
Publisher: Springer, 1997
Hardcover