Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
NASA Formal Methodos 2019
Ortiz Vega, J. J.
(Speaker)
Research Center on Information Systems Engineering
Research Group on the Foundations of Computer Science
Faculty of Computer Science
Namur Research Institute for Life Sciences
Namur Digital Institute
Activity
:
Talk or presentation types
›
Oral presentation
Period
7 May 2019
→
9 May 2019
Event title
NASA Formal Methodos 2019
Event type
Conference
Conference number
11
Location
Houston, United States, Texas
Show on map
Degree of Recognition
International