|
Japanese / English
|
|
||
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク | ||
DB info
白鳥則郎, 王家よう, 朴美娘,"形式的仕様記述言語LOTOSの教育支援システムの設計",
信学技報 CS93-105, pp. 111-116, 1993年9月.
Shiratori Norio, Ou Kayou and Park MiRang,
"The Design of Education Support System for Specification Language LOTOS,"
IEICE Tech. Rep., CS93-105, pp. 111-116, Sep. 1993.
資料番号: CS93-105, SSE93-82, IN93-89
pLaTeX format
機械的に名前の省略を行っています。上と比較して誤りがないことを確認してからカット＆ペーストして下さい。
\bibitem{cs93-105}
白鳥則郎, 王家よう, 朴美娘,
``形式的仕様記述言語LOTOSの教育支援システムの設計'',
信学技報 CS93-105, pp.~111-116, 1993年9月.
\bibitem{cs93-105}
Shiratori~Norio, Ou~Kayou and Park~MiRang,
``The Design of Education Support System for Specification Language LOTOS,''
{\em IEICE Tech. Rep.}, CS93-105, pp.~111-116, Sep. 1993.
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク |
ご意見，ご要望のある方は，ＣＳ研究会ホームページ管理者にご連絡ください．迷惑メール対策により，ホームページ記載のメールアドレスの一部を全角文字または画像としております．あらかじめご了承ください．
 |
IEICEホームページ |  |
 |
情報伝送と信号処理 ワークショップ |