Photo de James Jerson Ortiz Vega

Voir le profil Scopus

James Jerson Ortiz Vega

Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
19992024

Résultat de recherche par an

Filtrer
Chapitre (revu par des pairs)

Résultats de recherche

  • 2017

    Multi-timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs) › Revue par des pairs

    Accès ouvert
    File
    62 Téléchargements (Pure)
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.