Software as strong as a dyke C. Verhoef Free University of Amsterdam, Amsterdam, The Netherlands, Abstract

Source URL: www.cs.vu.nl

• Safety
• Risk
• Delta Works
• Maeslantkering
• RhineMeuseScheldt delta
• Software quality
• Safety integrity level
• IEC 61508
• Reliability engineering
• Software development
• SIL
• Functional safety

Nieuwsbrief 10 Maatwerk in Meetwerk ® Succesvolle Roadshow op 12 april 2007 De eerste Roadshow van Ingenieursbureau Passe-Partout B.V. vond plaats bij de Maeslantkering in Hoek van Holland. Een prachtige locatie en een

Source URL: www.passe-partout.nl

egu_logo_without_circle_grey

Source URL: www.nat-hazards-earth-syst-sci.net

• Effects of global warming
• Precipitation
• Rain
• Thunderstorm
• Current sea level rise
• Storm surge
• Wind
• Maeslantkering
• Storm
• Atmospheric sciences
• Meteorology
• Oceanography

Software Engineering with Formal Methods: The storm surge barrier revisited Klaas. Wijbrans (Acision) Franc Buve, Robin Rijkers, Wouter Geurts (Logica) © 2008 Acision BV. All rights reserved.

Source URL: www.fm2008.abo.fi

• Water
• Mobile technology
• Hartelkering
• Acision
• Flood barrier
• Maeslantkering
• Logica
• Risk
• SMS
• Flood control in the Netherlands
• Rhine–Meuse–Scheldt delta
• Technology

Relandscaping Landtong Rozenburg A GREEN PLATFORM IN THE PORT RELANDSCAPING LANDTONG ROZENBURG

Source URL: www.portofrotterdam.com

• Provinces of the Netherlands
• Rotterdam
• Rozenburg
• Nieuwe Waterweg
• Het Scheur
• Spion Kop
• Maeslantkering
• Rijnmond
• Rhine–Meuse–Scheldt delta
• Geography of the Netherlands
• South Holland

STORM SURGE WARNING SERVICE SVSD by Jan Kroos Rijkswaterstaat / RIKZ

Source URL: www.knmi.nl

• Rhine–Meuse–Scheldt delta
• Flood
• Water waves
• Meteorology
• Maeslantkering
• Storm surge
• Flood barrier
• Rijkswaterstaat
• Flood control
• Flood control in the Netherlands
• Water