↓ Skip to main content
What is this page? Embed badge

Integrated Formal Methods

Overview of attention for book
Cover of 'Integrated Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Assertions
  3. Altmetric Badge
    Chapter 2 State-Based Extension of CASL
  4. Altmetric Badge
    Chapter 3 Linking DC Together with TRSL
  5. Altmetric Badge
    Chapter 4 Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
  6. Altmetric Badge
    Chapter 5 A Process Compensation Language
  7. Altmetric Badge
    Chapter 6 Activity Graphs and Processes
  8. Altmetric Badge
    Chapter 7 Structuring Real-Time Object-Z Specifications
  9. Altmetric Badge
    Chapter 8 ISpec: Towards Practical and Sound Interface Specifications
  10. Altmetric Badge
    Chapter 9 Cooperation of Formal Methods in an Engineering Based Software Development Process
  11. Altmetric Badge
    Chapter 10 Developing Control Systems Components
  12. Altmetric Badge
    Chapter 11 Specification and Analysis of Automata-Based Designs
  13. Altmetric Badge
    Chapter 12 Structural Refinement in Object-Z / CSP
  14. Altmetric Badge
    Chapter 13 Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
  15. Altmetric Badge
    Chapter 14 Construction of Finite Labelled Transition Systems from B Abstract Systems
  16. Altmetric Badge
    Chapter 15 μ-Charts and Z: Hows, Whys, and Wherefores
  17. Altmetric Badge
    Chapter 16 Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
  18. Altmetric Badge
    Chapter 17 Why Doesn’t Anyone Use Formal Methods?
  19. Altmetric Badge
    Chapter 18 How to Write a Healthiness Condition
  20. Altmetric Badge
    Chapter 19 A Concurrent and Compositional Petri Net Semantics of Preemption
  21. Altmetric Badge
    Chapter 20 An Approach to Symbolic Test Generation
  22. Altmetric Badge
    Chapter 21 Behavioral Conformance Verification in an Integrated Approach Using UML and B
  23. Altmetric Badge
    Chapter 22 Predicate Diagrams for the Verification of Reactive Systems
  24. Altmetric Badge
    Chapter 23 Modular Verification for a Class of PLTL Properties
  25. Altmetric Badge
    Chapter 24 Towards Model Checking Stochastic Process Algebra
Attention for Chapter 4: Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
Altmetric Badge

Readers on

mendeley
2 Mendeley
Summary
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.
Chapter title
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
Chapter number 4
Book title
Integrated Formal Methods
Published by
Springer, Berlin, Heidelberg, November 2000
DOI 10.1007/3-540-40911-4_4
Book ISBNs
978-3-54-041196-3, 978-3-54-040911-3
Authors

Jörg Fischer, Stefan Conrad

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Student > Master 1 50%
Readers by discipline Count As %
Biochemistry, Genetics and Molecular Biology 1 50%
Computer Science 1 50%

This page is provided by Altmetric.