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 × Germany
1 × The Netherlands
Collaborated with:
O.Hasan S.Tahar B.Akbarpour R.Akbarpour
Talks about:
formal (2) probabilist (1) reconfigur (1) properti (1) variabl (1) continu (1) analysi (1) reason (1) random (1) memori (1)

Person: Naeem Abbasi

DBLP DBLP: Abbasi:Naeem

Contributed to:

FM 20092009
IFM 20092009

Wrote 2 papers:

FM-2009-HasanAATA #random #reasoning
Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
IFM-2009-HasanAT #analysis #array #configuration management #fault #memory management #probability
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (OH, NA, ST), pp. 277–291.

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.