Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 6)
Included in the following conference series:
- FORTE: International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- PSTV: International Conference on Protocol Specification, Testing and Verification
Conference proceedings info: FORTE 1998, PSTV 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (29 chapters)
-
Verification 1
-
Methodology 2
Keywords
About this book
Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France.
Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Description Techniques and Protocol Specification, Testing and Verification
Book Subtitle: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Editors: Stan Budkowski, Ana Cavalli, Elie Najm
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35394-4
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1998
Hardcover ISBN: 978-0-412-84760-8Published: 31 October 1998
Softcover ISBN: 978-1-4757-5262-5Published: 05 March 2013
eBook ISBN: 978-0-387-35394-4Published: 17 April 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XVI, 472
Topics: Electrical Engineering, Computer Communication Networks, Processor Architectures