鈴木 正人 (SUZUKI, Masato)准教授
情報科学系, セキュリティ・ネットワーク領域, 情報科学研究科

Misc

6件
分散環境における耐故障ソフトウェアのためのフレームワーク-Java RMIによる実装-,
信学技報電子情報通信学会FTS研究会, FT99-10, -, 1999
An implementation of the FTAG model in concurrent ML
M Suzuki, T Katayama, RD Schlichting
PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 4, 229-234, 1997
ソフトウェアプロセス適応のための形式的モデル
コンピュータソフトウェア(日本ソフトウェア科学会), 13, 5, 2-10, 1996
A Formal Description of FTAG for Multi-Processor Systems
Third Pacific Rim International Symposium on Fault-Tolerant Systems, 3, 244-253, 1995
IMPLEMENTING FAULT-TOLERANCE WITH AN ATTRIBUTE AND FUNCTIONAL BASED MODEL
M SUZUKI, T KATAYAMA, RD SCHLICHTING
FTCS-24 - THE TWENTY-FOURTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 244-253, 1994
“分散環境における高信頼性ネットワークソフトウェアのためのソフトウェアアーキラクチャ”
情報処理学会シンポジウム, 99, 11, 53-54,