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

Industrial-Strength Formal Methods in Practice

Overview of attention for book
Cover of 'Industrial-Strength Formal Methods in Practice'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 It’s Greek to Me: Method in the Madness?
  3. Altmetric Badge
    Chapter 2 The French Population Census for 1990
  4. Altmetric Badge
    Chapter 3 The Formal Verification of a Payment System
  5. Altmetric Badge
    Chapter 4 Specification of a Chemical Process Controller in B
  6. Altmetric Badge
    Chapter 5 Formal Analysis of the Motorola CAP DSP
  7. Altmetric Badge
    Chapter 6 Bridging the E-Business Gap Through Formal Verification
  8. Altmetric Badge
    Chapter 7 A CAD Environment for Safety-Critical Software
  9. Altmetric Badge
    Chapter 8 Scheduling and Rescheduling of Trains
  10. Altmetric Badge
    Chapter 9 Lessons from the Formal Development of a Radiation Therapy Machine Control Program
  11. Altmetric Badge
    Chapter 10 Using Formal Methods to Develop an ATC Information System
  12. Altmetric Badge
    Chapter 11 Rigorous Review Technique
  13. Altmetric Badge
    Chapter 12 Analysing Z Specifications with Z/EVES
  14. Altmetric Badge
    Chapter 13 How to Construct Formal Arguments that Persuade Certifiers
  15. Altmetric Badge
    Chapter 14 Formal Methods Through Domain Engineering
  16. Altmetric Badge
    Chapter 15 Formal Verification in Railways
  17. Altmetric Badge
    Chapter 16 Cleanroom Software Engineering: Theory and Practice
Attention for Chapter 6: Bridging the E-Business Gap Through Formal Verification
Altmetric Badge

Citations

dimensions_citation
34 Dimensions
Summary Dimensions citations
So far, Dimensions has found 34 publications that cite this research output.

34

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