Travelled to:1 × France
Collaborated with:O.A.Mohamed Y.Savaria
Talks about:probabilist (1) satellit (1) maintain (1) approach (1) reliabl (1) analysi (1) toward (1) system (1) model (1) check (1)
Person: Khaza Anuarul Hoque
DBLP: Hoque:Khaza_Anuarul
Contributed to:
2015Wrote 1 papers:
- DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards
- Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.