Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards a Deductive Object-Oriented System


    Beteiligte:
    Yoon, S.-C. (Autor:in) / Ku, C. S. (Autor:in)


    Erscheinungsdatum :

    1998-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16





    Deductive Verification of Railway Operations

    Kamburjan, Eduard / Hähnle, Reiner | British Library Conference Proceedings | 2017


    A Deductive Model for Multi-lane Vehicular Traffic

    Chen, Minjie / Schwant, Hartmut / Barwolff, Gunter | IEEE | 2015