Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Methods for Modeling Urban Road Traffic Using Timed Automata


    Beteiligte:
    Avram, Camelia (Autor:in) / Machado, Jose (Autor:in) / Astilean, Adina (Autor:in)

    Kongress:

    DSMIE ; 3. ; 2020 ; Charkow



    Erscheinungsdatum :

    2020



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

    Eduardo Valente / Camelia Avram / José Machado et al. | DOAJ | 2018

    Freier Zugriff

    Modeling Train Traffic Flow Using Cellular Automata

    Bahramian, Zahra / Bagheri, Morteza | ASCE | 2013


    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Freier Zugriff

    An urban traffic network model via coloured timed Petri nets

    Dotoli, Mariagrazia / Fanti, Maria Pia | Tema Archiv | 2006