Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Timed Specification Patterns for System Validation: A Railway Case Study



    Conference:

    International conference; 7th, Informatics in control, automation and robotics ; 2010 ; Madeira, Portugal



    Publication date :

    2011-01-01


    Size :

    14 pages


    Remarks:

    Based on those presented at the conference. Also known as ICINCO 2010. Includes bibliographical references and index.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Timed Specification Patterns for System Validation: A Railway Case Study

    Mekki, Ahmed / Ghazel, Mohamed / Toguyéni, Armand | Springer Verlag | 2011



    The fastest timed railway run in Europe

    Rous-Marten, Charles | Engineering Index Backfile | 1902



    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018