|
渡部卓雄 2015年 研究業績一覧 (7件 / 240件)
論文
国際会議発表 (査読有り)
国内会議発表 (査読有り)
国内会議発表 (査読なし・不明)
-
永藤直行,
渡部卓雄.
人的欠陥に対する耐性解析のモデル検証的アプローチ,
第13回ディペンダブルシステムワークショップ(DSW 2015),
Dec. 2015.
公式リンク
-
澤田賢祐,
鈴木康平,
渡部卓雄.
小規模組み込みシステムにおけるFRPの応用に向けて,
電子情報通信学会ソフトウェアサイエンス研究会(SIGSS),
信学技報,
電子情報通信学会,
Vol. 115,
No. 20,
pp. 1-5,
May 2015.
公式リンク
-
安武祥平,
渡部卓雄.
Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出,
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015),
Mar. 2015.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|