Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification and validation of the software of a block signal system with the help of the LUSTRE language



    Kongress:

    World congress on railway research, WRCC '94 ; 1994 ; Paris


    Erschienen in:

    WRCC '94 ; 1291-1292


    Erscheinungsdatum :

    1994-01-01


    Format / Umfang :

    2 pages


    Anmerkungen:

    In 2 vols; In English, German and French


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt