Dracos

Project

External Organisations

  • Jan Peleska, JP Software Consult, Germany

View graph of relations

In this project we use RAISE to do a formal development and verification of a real distributed railway control system.
StatusCurrent
Period01/12/9601/12/99
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: 2241451