BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
Collaborated with:
M.R.V.Chaudron J.Tretmans F.Buve R.Rijkers W.Geurts
Talks about:
control (2) barrier (2) system (2) method (2) formal (2) storm (2) surg (2) softwar (1) develop (1) lesson (1)

Person: Klaas Wijbrans

DBLP DBLP: Wijbrans:Klaas

Contributed to:

FM 20082008
World Congress on Formal Methods 19991999

Wrote 2 papers:

FM-2008-WijbransBRG #case study #development #experience #formal method #re-engineering
Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System (KW, FB, RR, WG), pp. 419–424.
FM-v2-1999-ChaudronTW #design #formal method #lessons learnt
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System (MRVC, JT, KW), pp. 1511–1526.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.