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 × Germany
Collaborated with:
T.Clement
Talks about:
scheldt (1) eastern (1) barrier (1) system (1) specif (1) method (1) formal (1) storm (1) emerg (1) close (1)

Person: Meine van der Meulen

DBLP DBLP: Meulen:Meine_van_der

Contributed to:

FM-Trends 19981998

Wrote 1 papers:

FM-1998-MeulenC #formal method #specification
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.

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.