Using The Event-B Method For Critical Systems
Medium US,
Dec 27 · 5 min read Event-B is a formal method for system-level modeling and analysis.
Using Event-B for Critical Device Software Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Background
-
Altmetric BadgeChapter 3 The Modelling Framework: Event-B
-
Altmetric BadgeChapter 4 Critical System Development Methodology
-
Altmetric BadgeChapter 5 Real-Time Animator and Requirements Traceability
-
Altmetric BadgeChapter 6 Refinement Chart
-
Altmetric BadgeChapter 7 EB2ALL: An Automatic Code Generation Tool
-
Altmetric BadgeChapter 8 Formal Logic Based Heart-Model
-
Altmetric BadgeChapter 9 The Cardiac Pacemaker
-
Altmetric BadgeChapter 10 Formalisation of Electrocardiogram (ECG)
-
Altmetric BadgeChapter 11 Conclusion