home
>
book reviews
> Michel R. V. Chaudron
Google >
Michel R. V. Chaudron
author : Michel R. V. Chaudron
Short works
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. 1999.
(In
FM'99 volume 2
)