↓ 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 10: Systematic Validation of a Relational Control Program for the Bay Area Rapid Transit System
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
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
Systematic Validation of a Relational Control Program for the Bay Area Rapid Transit System
Chapter number 10
Book title
High Integrity Software
Published by
Springer, Boston, MA, January 2001
DOI 10.1007/978-1-4615-1391-9_10
Book ISBNs
978-1-4613-5530-4, 978-1-4615-1391-9
Authors

F. B. Bastani, V. Reddy, P. Srigiriraju, I.-L. Yen, Bastani, F. B., Reddy, V., Srigiriraju, P., Yen, I.-L.

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 %
Brazil 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 100%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.