|
Japanese / English
|
|
||
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク | ||
DB info
太田理, 田倉昭, 上田佳寛,"通信サ-ビス要求記述の静的解析手法",
信学技報 CS93-104, pp. 105-110, 1993年9月.
Ohta Tadashi, Takura Akira and Ueda Yoshihiro,
"Static Analysis method for comunication service specification,"
IEICE Tech. Rep., CS93-104, pp. 105-110, Sep. 1993.
資料番号: CS93-104, SSE93-81, IN93-88
pLaTeX format
機械的に名前の省略を行っています。上と比較して誤りがないことを確認してからカット＆ペーストして下さい。
\bibitem{cs93-104}
太田理, 田倉昭, 上田佳寛,
``通信サ-ビス要求記述の静的解析手法'',
信学技報 CS93-104, pp.~105-110, 1993年9月.
\bibitem{cs93-104}
Ohta~Tadashi, Takura~Akira and Ueda~Yoshihiro,
``Static Analysis method for comunication service specification,''
{\em IEICE Tech. Rep.}, CS93-104, pp.~105-110, Sep. 1993.
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク |
ご意見，ご要望のある方は，ＣＳ研究会ホームページ管理者にご連絡ください．迷惑メール対策により，ホームページ記載のメールアドレスの一部を全角文字または画像としております．あらかじめご了承ください．
 |
IEICEホームページ |  |
 |
情報伝送と信号処理 ワークショップ |