Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods



    Kongress:

    IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany



    Erscheinungsdatum :

    2001-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Extending the Notation of Rational Rose 98 for Use With Formal Methods

    Hartrum, T. C. / IEEE | British Library Conference Proceedings | 2000


    Notation

    Elsevier | 1964


    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

    Krammer, Martin / Stirgwolt, Philip / Martin, Helmut | British Library Conference Proceedings | 2015


    Notation

    Henze, Bernd | Springer Verlag | 2021