Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    10 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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