↓ 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 Rhapsody: A Complete Life-Cycle Model-Based Development System
  3. Altmetric Badge
    Chapter 2 An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
  4. Altmetric Badge
    Chapter 3 Stochastic Process Algebras Meet Eden
  5. Altmetric Badge
    Chapter 4 From Implicit Specifications to Explicit Designs in Reactive System Development
  6. Altmetric Badge
    Chapter 5 Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
  7. Altmetric Badge
    Chapter 6 Assume-Guarantee Algorithms for Automatic Detection of Software Failures
  8. Altmetric Badge
    Chapter 7 Contributions for Modelling UML State-Charts in B
  9. Altmetric Badge
    Chapter 8 Translating Statecharts to B
  10. Altmetric Badge
    Chapter 9 A Framework for Translating Models and Specifications
  11. Altmetric Badge
    Chapter 10 Model Checking Object-Z Using ASM
  12. Altmetric Badge
    Chapter 11 Formalization of Cadence SPW Fixed-Point Arithmetic in HOL
  13. Altmetric Badge
    Chapter 12 Formally Linking MDG and HOL Based on a Verified MDG System
  14. Altmetric Badge
    Chapter 13 Refinement in Object-Z and CSP
  15. Altmetric Badge
    Chapter 14 Combining Specification Techniques for Processes, Data and Time
  16. Altmetric Badge
    Chapter 15 An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
  17. Altmetric Badge
    Chapter 16 Model Driven Engineering
  18. Altmetric Badge
    Chapter 17 The Design of a Tool-Supported Graphical Notation for Timed CSP
  19. Altmetric Badge
    Chapter 18 Combining Graphical and Formal Development of Open Distributed Systems
  20. Altmetric Badge
    Chapter 19 Translations between Textual Transition Systems and Petri Nets
  21. Altmetric Badge
    Chapter 20 Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
  22. Altmetric Badge
    Chapter 21 Minimally and Maximally Abstract Retrenchments
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
2 patents

Citations

dimensions_citation
14 Dimensions

Readers on

mendeley
134 Mendeley
citeulike
9 CiteULike
Summary Patents Dimensions citations
So far, Dimensions has found 14 publications that cite this research output.

14

The most recent citing publications are shown below. View all 14 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.