Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques



    Kongress:

    Conference, Formale Techniken fur die Eisenbahnsicherung ; 1999



    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    24 pages


    Anmerkungen:

    Also known as Forms '99




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Formal specification of the TCAS protocol

    Schaefer, Carl | AIAA | 1993


    Formal Specification of the TCAS Protocol

    Schaefer, C. / AIAA | British Library Conference Proceedings | 1993




    CaVa DSL : Virtual learning spaces formal specification

    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018

    Freier Zugriff