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

High Integrity Software

Overview of attention for book
Cover of 'High Integrity Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Designware: Software Development by Refinement
  3. Altmetric Badge
    Chapter 2 B: Towards Zero Defect Software
  4. Altmetric Badge
    Chapter 3 The Use of B to Specify, Design and Verify Hardware
  5. Altmetric Badge
    Chapter 4 A System for Predictable Component-Based Software Construction
  6. Altmetric Badge
    Chapter 5 Autonomous Decentralized Systems Technologies and Their Application to a Train Transport Operation System
  7. Altmetric Badge
    Chapter 6 Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description
  8. Altmetric Badge
    Chapter 7 Using SCR to Specify Requirements of the Bart Advanced Automated Train Control System
  9. Altmetric Badge
    Chapter 8 On the Construction of a Domain Language for a Class of Reactive Systems
  10. Altmetric Badge
    Chapter 9 A Refinement-Based Approach to Deriving Train Controllers
  11. Altmetric Badge
    Chapter 10 Systematic Validation of a Relational Control Program for the Bay Area Rapid Transit System
  12. Altmetric Badge
    Chapter 11 Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics
  13. Altmetric Badge
    Chapter 12 Using Virtual Reality to Validate System Models
Attention for Chapter 5: Autonomous Decentralized Systems Technologies and Their Application to a Train Transport Operation System
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

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

6

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