Formal analysis of fault tree using probabilistic model checking: A solar array case study.
| Autor: | Ammar, Marwan, Hoque, Khaza Anuarul, Mohamed, Otmane Ait |
|---|---|
| Zdroj: | 2016 Annual IEEE Systems Conference (SysCon); 2016, p1-6, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|