Home Jp

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

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

facebook and twitter

履歴

研究分野:

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