Showing 1 - 1 results of 1 for search 'Camelia Avram', query time: 0.01s Refine Results
  1. 1
    An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

    An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods by Eduardo Valente, Camelia Avram, José Machado, Adina Astilean

    Published 2018-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: