Department of Informatics and Mathematical Modeling, Technical University of Denmark, Asmussens Alle, DK-2800, Kgs. Lyngby
- Instituttet for Anvendt Datateknik, Denmark
- TERMA Elektronik A/S, Denmark
- Formal Systems (Europe) Ltd., United Kingdom
- Steria Méditerranée, France
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.
|Period||01/01/1998 → 30/09/1999|
|Amount||201,000.00 Danish Kroner|