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

最新のお知らせ

  • 2019-09-10 国際会議ASSURE2019 安全性に関する国際会議SAFECOMP2019の併設ワークショップASSURE2019(7th International Workshop on Assurance Cases for Software-intensive Systems)において,木下佳樹所長 及び 武山誠所員 及び 木下修司研究員が執筆に参加した論文「A modelling approach for system life cycles assurance」が発表されました。
    投稿: 2019/09/10 7:27、Shuji Kinoshita
  • 2019-07-18 (木) 日科技連主催第49回「信頼性・保全性シンポジウム」にて講演が行われました。特別企画セッション つながる時代の安全性木下佳樹:ディペンダビリティ標準の新しい動向〜新国際標準IEC 62853がもたらすもの (slides, resumé)
    投稿: 2019/07/18 22:18、木下佳樹
  • 2019-05-16 (木) プログラミング科学研究所の活動が、神奈川大学の産学連携活動の例として、日刊工業新聞で紹介されました。
    投稿: 2019/09/02 17:07、Shuji Kinoshita
  • 2019-05-15 IEC 62853 Open systems dependability 制定活動およびその周辺に関する紹介記事が発行されました:木下佳樹,所眞理雄: 開放系総合信頼性の新標準IEC 62853の概要と意義,標準化と品質管理,vol. 72,No. 5,pp. 42 - 44
    投稿: 2019/09/02 17:06、Shuji Kinoshita
1 - 4 / 33 件の投稿を表示中 もっと見る »