Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Test case generation from formal specifications on the example of train control systems



    Conference:

    International conference; 7th, Computers in railways ; 2000 ; Bologna, Italy



    Publication date :

    2000-01-01


    Size :

    10 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal Specifications of the European Train Control System

    Janhsen, A. / Lemmer, K. / Ptok, B. et al. | British Library Conference Proceedings | 1997


    From formal specifications to efficient test scenarios generation

    Yang, Jing / Ghazel, Mohamed / El-Koursi, El-Miloudi | IEEE | 2013



    Generation of object-oriented formal software specifications

    Hartrum, T.C. / Karagias, T. | IEEE | 1997


    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997