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
リポジトリマイニングに基づくOSSの採用状況とダウンロード数の関係性に関する一考察
○宮本翔一郎・周 蕾・田村慶信（山口大）・山田 茂（鳥取大）
pp. 7 - 12
R2024-10
ブロック取り替え方策における再生関数の近似の有効性
○田村信幸（法大）
pp. 13 - 17
R2024-11
BDDを用いた2状態システムの信頼性評価アルゴリズムとその実装
○岡村寛之・鄭 俊俊・土肥 正（広島大）
pp. 18 - 22
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．