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

Using Event-B for Critical Device Software Systems

Overview of attention for book
Cover of 'Using Event-B for Critical Device Software Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Background
  4. Altmetric Badge
    Chapter 3 The Modelling Framework: Event-B
  5. Altmetric Badge
    Chapter 4 Critical System Development Methodology
  6. Altmetric Badge
    Chapter 5 Real-Time Animator and Requirements Traceability
  7. Altmetric Badge
    Chapter 6 Refinement Chart
  8. Altmetric Badge
    Chapter 7 EB2ALL: An Automatic Code Generation Tool
  9. Altmetric Badge
    Chapter 8 Formal Logic Based Heart-Model
  10. Altmetric Badge
    Chapter 9 The Cardiac Pacemaker
  11. Altmetric Badge
    Chapter 10 Formalisation of Electrocardiogram (ECG)
  12. Altmetric Badge
    Chapter 11 Conclusion
Attention for Chapter 8: Formal Logic Based Heart-Model
Altmetric Badge

Citations

dimensions_citation
31 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 31 publications that cite this research output.

31

The most recent citing publications are shown below. View all 31 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.