Home Jp

Dependable Computingの日米の大先生、Avezienis先生と南谷先生と(DSN 2014, Atlanta, Georgia, USA, June 2014)

email address: matsuno.yutaka "at" nihon-u.ac.jp

履歴

研究分野:
Assurance Cases, Dependability, Programming Lanugages, Safety, and Type System

業績書 (PDFはファイル(CV.pdf))

プロジェクト:
D-Case Project システム保証、Assurance Caseに関する企業との研究会、講習会など。
OMG Dependability Assurance Framework for Safety-Sensitive Consumer Devices (SSCD) 国際標準化プロジェクト。トヨタ, IPA, 富士通、産総研、等、多くの団体との共同プロジェクト。

発表文献の一部 (全発表文献 はこちらDBLPのページ) (DSN 2012 と DSN2014の論文は下に添付されています)


外部獲得資金



© Yutaka Matsuno 2014, 2015, 2016
サブページ (1): Classes
Ċ
Matsuno Yutaka,
2014/06/28 17:07
Ċ
CV.pdf
(39k)
Matsuno Yutaka,
2014/08/23 5:02
Ċ
Matsuno Yutaka,
2014/05/20 19:25
Ċ
Matsuno Yutaka,
2014/05/20 19:25
Comments