External Organisations

  • Instituttet for Anvendt Datateknik, Denmark
  • TERMA Elektronik A/S, Denmark
  • Formal Systems (Europe) Ltd., United Kingdom
  • Steria Méditerranée, France

View graph of relations

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.
StatusCompleted
Period01/01/9830/09/99
Financing sourceOverhead/overskud
Research programmeOverhead/overskud
Amount201,000.00 Danish kroner
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 2251594