神奈川大学 プログラミング科学研究所

最新のお知らせ

  • 2019-01-15 情報処理学会論文誌「デジタルプラクティス」に,木下佳樹所長 及び 武山誠研究員が執筆に参加した招待論文「開放系総合信頼性の標準化〜CREST研究プロジェクトとIEC標準化の相互作用〜」が掲載されました。こちらから閲覧可能です。
    投稿: 2019/01/23 15:29、Shuji Kinoshita
  • 2018-12-26 (Wed) 中川雅通,山浦一郎,森田直,武山誠,木下佳樹,IEC 62853と「つながる世界の開発指針」,SEC Journal, vol.14, No. 1, pp.88-89, 2018-08-08.
    投稿: 2018/12/25 21:16、木下佳樹
  • 2018-12-13 (Thu) 講演武山誠:A modelling approach for system life cycles assurance木下修司: ISO/IEC/IEEE 15026-2 Assurance case 改訂の現状(いずれも日本ソフトウェア科学会第16回ディペンダブルシステムワークショップにて.)
    投稿: 2018/12/25 21:11、木下佳樹
  • 2018-12-03 講演:「IEC 62853 Open systems dependability について」木下佳樹.JASPAR 機能安全WG.
    投稿: 2018/12/12 16:41、木下佳樹
1 - 4 / 29 件の投稿を表示中 もっと見る »