Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Twenty-Five Years of Formal Methods and Railways: What Next?


    Beteiligte:
    Fantechi, A. (Autor:in)

    Kongress:

    Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid



    Erscheinungsdatum :

    01.01.2014


    Format / Umfang :

    17 pages


    Anmerkungen:

    Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Space : the next twenty-five years

    McDonough, Thomas R. | TIBKAT | 1989


    Space : the next twenty-five years

    McDonough, Thomas R. | TIBKAT | 1987


    Next twenty-five years in aviation industry

    Cronstedt, V. | Engineering Index Backfile | 1955



    Gaming and simulation the next twenty five years

    Alberts, H.C. | Tema Archiv | 1985