James Jerson Ortiz Vega

View Scopus Profile

James Jerson Ortiz Vega

  • Belgium

Calculated based on number of publications stored in Pure and citations from Scopus
19992023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter (peer-reviewed)

Search results

  • 2017

    Multi-timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 Jan 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10227 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
    47 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.