Dracos

    Project Details

    Description

    In this project we use RAISE to do a formal development and verification
    of a real distributed railway control system.
    StatusFinished
    Effective start/end date01/12/199601/12/1999