Case study: Traffic Alert and Collision-Avoidance System

Abstract

IEEE SOFTWARE UK government groups. GEC Alsthom has used B in two subsequent applica­ tions: a transportation system in Calcutta, India, and a safety net to protect against driver failure on all the electrified lines operated by the French national railways authority. • REFERENCES 1. C.AR. Hoare, 'IAn Axiomatic Basis for Computer Program­ ming,"Comm.ACM,Oct… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics