Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System

M. Chaudron, G.J. Tretmans, K. Wijbrans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	FM'99 - World congress on Formal Methods in the Development of Computing Systems, vol. II
Place of Publication	Toulouse, France
Pages	1511-1526
Number of pages	16
Publication status	Published - 1 Feb 1999

Keywords

@inproceedings{a73dd519d78c46f5827ce7814e79172a,

title = "Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System",

keywords = "METIS-119603",

author = "M. Chaudron and G.J. Tretmans and K. Wijbrans",

year = "1999",

month = feb,

day = "1",

language = "Undefined",

pages = "1511--1526",

booktitle = "FM'99 - World congress on Formal Methods in the Development of Computing Systems, vol. II",

}

Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. / Chaudron, M.; Tretmans, G.J.; Wijbrans, K.
FM'99 - World congress on Formal Methods in the Development of Computing Systems, vol. II. Toulouse, France, 1999. p. 1511-1526.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System

AU - Chaudron, M.

AU - Tretmans, G.J.

AU - Wijbrans, K.

PY - 1999/2/1

Y1 - 1999/2/1

KW - METIS-119603

M3 - Conference contribution

SP - 1511

EP - 1526

BT - FM'99 - World congress on Formal Methods in the Development of Computing Systems, vol. II

CY - Toulouse, France

ER -