↓ Skip to main content

Formal Methods for Protocol Engineering and Distributed Systems

Overview of attention for book
Cover of 'Formal Methods for Protocol Engineering and Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Confirming configurations in EFSM
  3. Altmetric Badge
    Chapter 2 Remote testing can be as powerful as local testing
  4. Altmetric Badge
    Chapter 3 Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services
  5. Altmetric Badge
    Chapter 4 Scalable and Object Oriented SDL State(chart)s
  6. Altmetric Badge
    Chapter 5 Prototyping Framework for SDL with Evolving Semantics
  7. Altmetric Badge
    Chapter 6 Framework for Automatic SDL to C++ Translation
  8. Altmetric Badge
    Chapter 7 Stress Testing of Distributed Multimedia Software Systems
  9. Altmetric Badge
    Chapter 8 Fair Testing Through Probabilistic Testing
  10. Altmetric Badge
    Chapter 9 A Formal Approach to Conformance Testing of Distributed Routing Protocols
  11. Altmetric Badge
    Chapter 10 Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
  12. Altmetric Badge
    Chapter 11 A Graphical Parallel Composition Operator for Process Algebras
  13. Altmetric Badge
    Chapter 12 Guaranteeing Liveness in an Object Calculus Through Behavioral Typing
  14. Altmetric Badge
    Chapter 13 Black Box Checking
  15. Altmetric Badge
    Chapter 14 An Optimizing Compiler for Efficient Model Checking
  16. Altmetric Badge
    Chapter 15 Exploiting Symmetry When Model-Checking Software
  17. Altmetric Badge
    Chapter 16 User-Friendly Verification
  18. Altmetric Badge
    Chapter 17 Specification and Verification of Synchronous Hardware using LOTOS
  19. Altmetric Badge
    Chapter 18 Provably Correct Hardware Compilation Using Timing Diagrams
  20. Altmetric Badge
    Chapter 19 An enhanced model for testing asynchronous communicating systems
  21. Altmetric Badge
    Chapter 20 Interoperability Test Suite Derivation for the TCP
  22. Altmetric Badge
    Chapter 21 Coverage Analysis for Embedded Testing and an Application
  23. Altmetric Badge
    Chapter 22 A Formal Description Technology: Graphical E-LOTOS
  24. Altmetric Badge
    Chapter 23 Global Timed Bisimulation: An Introduction
  25. Altmetric Badge
    Chapter 24 Protocol Synthesis for Real-Time Applications
  26. Altmetric Badge
    Chapter 25 Verifying an infinite family of inductions simultaneously using data independence and FDR
  27. Altmetric Badge
    Chapter 26 Specification and execution of tests using tMsc
  28. Altmetric Badge
    Chapter 27 Model-Checking a Secure Group Communication Protocol: A Case Study
  29. Altmetric Badge
    Chapter 28 Software Model Checking
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal Methods for Protocol Engineering and Distributed Systems
Published by
Springer US, June 2013
DOI 10.1007/978-0-387-35578-8
ISBNs
978-1-4757-5270-0, 978-0-387-35578-8
Editors

Wu, Jianping, Chanson, Samuel T., Gao, Qiang

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Denmark 1 20%
Unknown 4 80%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 40%
Professor 1 20%
Student > Ph. D. Student 1 20%
Researcher 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Engineering 2 40%