Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatically Verifying Railway Interlockings using SAT-based Model Checking


    Beteiligte:

    Erschienen in:

    Electronic Communications of the EASST ; 35 , Electronic Communications of the EASST, Vol. 35 (2010): Automated Verification of Critical Systems 2010


    Erscheinungsdatum :

    2011


    Format / Umfang :

    530KB



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Consolidated interlockings

    Engineering Index Backfile | 1933


    Simulating and analyzing railway interlockings in ExSpect

    Basten, Twan / Bol, Roland / Voorhoeve, Marc | TIBKAT | 1994


    Electric railway traction. Part 4: Signalling and interlockings

    Hill, R.J. | IET Digital Library Archive | 1995


    Safety assurance of configuration data for railway signal interlockings

    Short, R.C. | IET Digital Library Archive | 2006


    NYC combines interlockings

    Engineering Index Backfile | 1954