Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
NASA Formal Methodos 2019
Ortiz Vega, J. J.
(Orateur)
Research Center on Information Systems Engineering
Research Group on the Foundations of Computer Sciences
Faculte d'informatique
Namur Research Institute for Life Sciences
Namur Digital Institute
Activité
:
Types de discours ou de présentation
›
Présentation orale
Période
7 mai 2019
→
9 mai 2019
Event title
NASA Formal Methodos 2019
Type d'événement
Une conférence
Numéro de conférence
11
Lieu
Houston, États-Unis, Texas
Niveau de reconnaissance
International