FMERail (ESPRIT Project EP26538)

    Project Details


    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.
    Effective start/end date01/01/199830/09/1999