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 × Spain
Collaborated with:
N.Moebius K.Stenzel W.Reif
Talks about:
model (2) approach (1) driven (1) critic (1) applic (1) secur (1) check (1)

Person: Marian Borek

DBLP DBLP: Borek:Marian

Contributed to:

SEFM 20132013

Wrote 1 papers:

SEFM-2013-BorekMSR #approach #model checking #modelling
Model Checking of Security-Critical Applications in a Model-Driven Approach (MB, NM, KS, WR), pp. 76–90.

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.