|
Japanese / English
|
|
||
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク | ||
DB info
松本忠, 辻孝吉,"時間付ペトリネットによる通信プロトコルのトランスポ-ト層およびセッション層の動作検証",
信学技報 CS90-56, pp. 19-24, 1990年10月.
Matsumoto Tadashi and Tsuji Kohkichi,
"Verification for transport layer and session layer of communication protocols by using timed Petri nets,"
IEICE Tech. Rep., CS90-56, pp. 19-24, Oct. 1990.
資料番号: CS90-56
pLaTeX format
機械的に名前の省略を行っています。上と比較して誤りがないことを確認してからカット＆ペーストして下さい。
\bibitem{cs90-56}
松本忠, 辻孝吉,
``時間付ペトリネットによる通信プロトコルのトランスポ-ト層およびセッション層の動作検証'',
信学技報 CS90-56, pp.~19-24, 1990年10月.
\bibitem{cs90-56}
Matsumoto~Tadashi and Tsuji~Kohkichi,
``Verification for transport layer and session layer of communication protocols by using timed Petri nets,''
{\em IEICE Tech. Rep.}, CS90-56, pp.~19-24, Oct. 1990.
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク |
ご意見，ご要望のある方は，ＣＳ研究会ホームページ管理者にご連絡ください．迷惑メール対策により，ホームページ記載のメールアドレスの一部を全角文字または画像としております．あらかじめご了承ください．
 |
IEICEホームページ |  |
 |
情報伝送と信号処理 ワークショップ |