000021213 001__ 21213
000021213 005__ 20170119130227.0
000021213 04107 $$aeng
000021213 046__ $$k2014-09-22
000021213 100__ $$aHasan, Osman
000021213 24500 $$aReliability block diagrams based analysis: A survey

000021213 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014
000021213 260__ $$b
000021213 506__ $$arestricted
000021213 520__ $$2eng$$aReliability Block Diagrams, Computer Simulations, Formal Methods, Theorem Proving, Computer Algebra Systems,

000021213 540__ $$aText je chráněný podle autorského zákona č. 121/2000 Sb.
000021213 653__ $$a

000021213 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014
000021213 720__ $$aHasan, Osman$$iHamdi, Mohamed Salah$$iTahar, Sofiène$$iAhmed, Waqar
000021213 8560_ $$ffischerc@itam.cas.cz
000021213 8564_ $$s69800$$uhttps://invenio.itam.cas.cz/record/21213/files/850129_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 850129_1.pdf.
000021213 962__ $$r20333
000021213 980__ $$aPAPER