Project Details
Description
In this project we use RAISE to do a formal development and verification
of a real distributed railway control system.
of a real distributed railway control system.
| Status | Finished |
|---|---|
| Effective start/end date | 01/12/1996 → 01/12/1999 |
Collaborative partners
- Technical University of Denmark (lead)
- JP Software Consult (Project partner)
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.