Online edition: ISSN 2432-6380
[TOP] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [Japanese] / [English]
KBSE2020-29
DevOpsアシュアランスケースによる自動運転システムの安全性保証
○小池湧大（日大）・岡田 学（ティアフォー）・高井利憲（チェンジビジョン）・大熊拓海・松野 裕（日大）
pp. 1 - 6
KBSE2020-30
システム仕様書の形式化による漏れ・誤りの発見および修正支援
○若松大雅・青山裕介・久代紀之（九工大）
pp. 7 - 12
KBSE2020-31
時間制約を実行時に検証可能な自己適応フレームワークに関する研究
○小島英春・中川博之（阪大）
pp. 13 - 18
KBSE2020-32
DNSトンネル検出研究のための評価データセットに係る考察
○朝倉哲也・辰己丈夫（放送大）
pp. 19 - 24
KBSE2020-33
［招待講演］「機械学習応用システムの安全性の研究動向と今後の展望」
○吉岡信和（NII）
p. 25
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．