Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Activités 2009 2019

  • 9 Participation à un atelier/workshop, un séminaire, un cours
  • 8 Participation à une conférence, un congrès
  • 3 Présentation orale
Filtre
Présentation orale

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Orateur)
7 mai 20199 mai 2019

Activité: Types de discours ou de présentationPrésentation orale

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Orateur)
16 juil. 201820 juil. 2018

Activité: Types de discours ou de présentationPrésentation orale

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Orateur)
2017 → …

Activité: Types de discours ou de présentationPrésentation orale