- Hansen, Bo Stig (Project Manager, organisational)
- Bjørner, Dines (Project participant)
- Haxthausen, Anne Elisabeth (Project participant)
- Instituttet for Anvendt Datateknik
- TERMA Elektronik A/S
- Formal Systems (europe) Ltd.
- Steria Mediterranee S.A.
This dissemination project aims at promoting the adoption of formal methods in the railway domain. The approach of the project is to arrange a series of workshops to show how different formal method technologies can be applied to railway problems.
| Status | Completed |
|---|---|
| Period | 01-01-98 → 30-09-99 |
| Financing source | Overhead/overskud |
|---|---|
| Research programme | Overhead/overskud |
| Amount | 201,000.00 Danish kroner |
ID: 2251594