Hitoshi Muta, Yoshinobu Sato. Functional Safety Assessment of Safety-Related Systems with Non-perfect Proof-Tests. IEICE Transactions, 97-A(8):1739-1746, 2014. [doi]
@article{MutaS14,
title = {Functional Safety Assessment of Safety-Related Systems with Non-perfect Proof-Tests},
author = {Hitoshi Muta and Yoshinobu Sato},
year = {2014},
url = {http://search.ieice.org/bin/summary.php?id=e97-a_8_1739},
researchr = {https://researchr.org/publication/MutaS14},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {97-A},
number = {8},
pages = {1739-1746},
}