BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
Talks about:
system (2) architectur (1) interlock (1) communic (1) railway (1) design (1) model (1) check (1) safe (1) fail (1)

Person: Mike Schrönen

DBLP DBLP: Schr=ouml=nen:Mike

Contributed to:

World Congress on Formal Methods 19991999

Wrote 1 papers:

FM-v2-1999-ButhS #architecture #communication #design #model checking
Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems (BB, MS), p. 1869.

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.