ENGLISH

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

By Teruo Higashino , Andreas Ulrich , Hartmut König (auth.) , Tadanori Mizuno , Norio Shiratori , Atsushi Togashi (eds.)

Book information

Publisher
Springer US
Year
1997
ISBN
978-1-4757-5260-1, 978-0-387-35271-8
DOI
10.1007/978-0-387-35271-8
Language
english
Format
PDF
Filesize
21 MB (21913400 bytes)
Series
IFIP — The International Federation for Information Processing
Edition
1
Pages
550\534
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Computer Communication Networks; SignalImage and Speech Processing

Description

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.

Similar books