Project Details

Description

In this project we use RAISE to do a formal development and verification
of a real distributed railway control system.
StatusFinished
Effective start/end date01/12/199601/12/1999

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.