Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Railway Demonstrator for experimental Validation of formal Specifications



    Conference:

    International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany



    Publication date :

    2003-01-01


    Size :

    12 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archive | 2007


    The 4SECURail Formal Methods Demonstrator

    Mazzanti, Franco / Belli, Dimitri | British Library Conference Proceedings | 2022



    A railway demonstrator model for experimental investigation of integrated specification techniques

    Hänsel, F. / König, S. / Slovak, R. et al. | Tema Archive | 2003


    Electric railway specifications

    Engineering Index Backfile | 1895