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 × Switzerland
Collaborated with:
M.Esteve J.Katoen V.Y.Nguyen Y.Yushtein
Talks about:
satellit (1) perform (1) correct (1) analysi (1) safeti (1) formal (1) depend (1)

Person: Bart Postma

DBLP DBLP: Postma:Bart

Contributed to:

ICSE 20122012

Wrote 1 papers:

ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety
Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.

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.