(1) |
10:00-11:30 |
研究討議(希望者のみ) |
|
11:30-13:20 |
休憩 ( 110分 ) |
7月27日(土) 午後 13:20 - 16:20 |
(1) |
13:20-13:45 |
Optimal Proof-Testing Intervals for E/E/PE Safety-Related Systems Under Safety Constraint |
○Shinji Inoue(Kansai Univ.)・Shigeru Yamada(Tottori Univ.) |
(2) |
13:45-14:10 |
リポジトリマイニングに基づくOSSの採用状況とダウンロード数の関係性に関する一考察 |
○宮本翔一郎・周 蕾・田村慶信(山口大)・山田 茂(鳥取大) |
|
14:10-14:25 |
休憩 ( 15分 ) |
(3) |
14:25-14:50 |
ブロック取り替え方策における再生関数の近似の有効性 |
○田村信幸(法大) |
(4) |
14:50-15:15 |
BDDを用いた2状態システムの信頼性評価アルゴリズムとその実装 |
○岡村寛之・鄭 俊俊・土肥 正(広島大) |
|
15:15-15:30 |
休憩 ( 15分 ) |
(5) |
15:30-16:20 |
研究討議 |