Formal development and verification of railway control systems

    Project Details

    StatusFinished
    Effective start/end date01/11/201221/01/2016