Photo de JAMES JERSON ORTIZ VEGA
  • Source : Scopus
  • Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
19992019

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.
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., 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érenceChapitre (revu par des pairs)

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