Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 55)
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 2000, PSTV 2000.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (26 chapters)
-
Exhaustive and Probabilistic Testing
-
Hardware Specification, Implementation and Testing
-
Formal Semantics
-
Invited Papers on Verification and Security
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Distributed System Development
Book Subtitle: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Editors: Tommaso Bolognesi, Diego Latella
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35533-7
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 2000
Hardcover ISBN: 978-0-7923-7968-3Published: 30 September 2000
Softcover ISBN: 978-1-4757-5264-9Published: 28 February 2013
eBook ISBN: 978-0-387-35533-7Published: 20 March 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XX, 412
Topics: Software Engineering/Programming and Operating Systems, Computer Communication Networks, Artificial Intelligence, Processor Architectures, Electrical Engineering