Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
R2024-8
Optimal Proof-Testing Intervals for E/E/PE Safety-Related Systems Under Safety Constraint
Shinji Inoue (Kansai Univ.), Shigeru Yamada (Tottori Univ.)
pp. 1 - 6
R2024-9
A Study on the Relationship Between OSS Adoption Status and Number of Downloads Based on Repository Mining
Shoichoro Miyamoto, Lei Zhou, Yoshinobu Tamura (Yamaguchi Univ.), Shigeru Yamada (Tottori Univ.)
pp. 7 - 12
R2024-10
On Efficiency of an Approximiation of Renewal Functions for the Block Replacement Policy
Nobuyuki Tamura (Hosei Univ.)
pp. 13 - 17
R2024-11
Reliability Evaluation Algorithms for Binary-State Systems Using BDD and Its Implementation
Hiroyuki Okamura, Junjun Zheng, Tadashi Dohi (Hiroshima Univ.)
pp. 18 - 22
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.