Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
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é
:
Discours ou présentation
›
Présentation orale
Période
7 mai 2019
→
9 mai 2019
Titre de l'événement
NASA Formal Methodos 2019
Type d'événement
Une conférence
Numéro de conférence
11
Emplacement
Houston, États-Unis, Texas
Afficher sur la carte
Degré de reconnaissance
International