Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97
Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (eds.)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.
Categories:
Year:
1997
Edition:
1
Publisher:
Springer US
Language:
english
Pages:
550
ISBN 10:
1475752601
ISBN 13:
9781475752601
Series:
IFIP — The International Federation for Information Processing
File:
PDF, 20.90 MB
IPFS:
,
english, 1997
This book isn't available for download due to the complaint of the copyright holder
Beware of he who would deny you access to information, for in his heart he dreams himself your master
File converter
More search results
More benefits 
