Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research Output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
On the Formal Validation of a Storm Surge Barrier
Brinksma, H.
(Invited speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Opmerking: Invited
Period
4 May 1997
Event title
2nd International ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS 1997
Event type
Conference
Conference number
2
Location
Cesena, Italy
Degree of Recognition
International
Keywords
METIS-122704