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 Methods Symposium
Ortiz Vega, J. J.
(Orateur)
Research Center on Information Systems Engineering
Research Group on the Foundations of Computer Sciences
Faculte d'informatique
Activité
:
Discours ou présentation
›
Présentation orale
Période
2017
→ …
Titre de l'événement
NASA Formal Methods Symposium
Type d'événement
Une conférence
Numéro de conférence
9th
Lieu
San Jose, États-Unis
Afficher sur la carte
Niveau de reconnaissance
International