External Organisations

  • Instituttet for Anvendt Datateknik, Denmark
  • TERMA Elektronik A/S, Denmark
  • Formal Systems (europe) Ltd., United Kingdom
  • Steria Mediterranee S.A., 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