Fulltext present in this item

Thumbnail
Fulltext: 84407.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: A Formal Verification Study on the Rotterdam Storm Surge Barrier
Author(s): Madlener, K.; Smetsers, S. ; Eekelen, M. Van ; Eekelen, M.C.J.D. van
Publication year: 2010
In: Dong, J.; Zhu, H. (ed.), Formal Methods and Software Engineering, pp. 287-302
Publisher: Berlin : Springer
ISBN: 978364216901420
Series: Lecture Notes in Computer Science ; 6447
DOI: https://doi.org/10.1007/978-3-642-16901-4_20
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/84407   https://hdl.handle.net/2066/84407

Display more details
Editor(s): Dong, J.; Zhu, H.
Subject: Digital Security
Software Science
Organization: Digital Security
Software Science
Security of Systems
Book title: Dong, J.; Zhu, H. (ed.), Formal Methods and Software Engineering
Page start: p. 287
Page end: p. 302

This item appears in the following Collection(s)

Browse

Statistics