Activités par an
Activités
- 3 résultats
Résultats de recherche
-
NASA Formal Methodos 2019
Ortiz Vega, J. J. (Orateur)
7 mai 2019 → 9 mai 2019Activité: Discours ou présentation › Présentation orale
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Orateur)
16 juil. 2018 → 20 juil. 2018Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …Activité: Discours ou présentation › Présentation orale