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

Person: Marie-Aude Esteve

DBLP DBLP: Esteve:Marie=Aude

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.