If you made any changes in Pure these will be visible here soon.

Activities 2009 2019

  • 9 Participation in workshop, seminar, course
  • 8 Participation in conference
  • 3 Oral presentation
Filter
Oral presentation

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Speaker)
7 May 20199 May 2019

Activity: Talk or presentation typesOral presentation

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Speaker)
16 Jul 201820 Jul 2018

Activity: Talk or presentation typesOral presentation

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Speaker)
2017 → …

Activity: Talk or presentation typesOral presentation