Skip to main navigation
Skip to search
Skip to main content
Open Universiteit research portal Home
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Student theses
Search by expertise, name or affiliation
Formal Methods at Open University
Marko van Eekelen (Speaker)
Research Line Resilience (part of LIRS program)
Activity
:
Talk or presentation types
›
Talk or presentation (not at a conference)
›
Academic
Description
Overview of Computer Science Formal Method Research at Open University
Period
3 Sept 2018
Event title
A research agenda for formal methods in the netherlands
Event type
Workshop
Location
Leiden, Netherlands
Show on map
Degree of Recognition
National
X