|
Japanese / English
|
|
||
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク | ||
DB info
白鳥則郎, 神長裕明, 高橋薫, 福沢尚司, 宋国煥,"要求と形式仕様のやわらかい設計支援システム",
信学技報 CS95-87, pp. 79-84, 1995年9月.
Shiratori Norio, Kaminaga Hiroaki, Takahashi Kaoru, Fukuzawa Shouji and Song Kukhwan,
"A Flexible Design Support System for Requirement and Formal Specification,"
IEICE Tech. Rep., CS95-87, pp. 79-84, Sep. 1995.
資料番号: CS95-87, SSE95-67, IN95-38
pLaTeX format
機械的に名前の省略を行っています。上と比較して誤りがないことを確認してからカット＆ペーストして下さい。
\bibitem{cs95-87}
白鳥則郎, 神長裕明, 高橋薫, 福沢尚司, 宋国煥,
``要求と形式仕様のやわらかい設計支援システム'',
信学技報 CS95-87, pp.~79-84, 1995年9月.
\bibitem{cs95-87}
Shiratori~Norio, Kaminaga~Hiroaki, Takahashi~Kaoru, Fukuzawa~Shouji and Song~Kukhwan,
``A Flexible Design Support System for Requirement and Formal Specification,''
{\em IEICE Tech. Rep.}, CS95-87, pp.~79-84, Sep. 1995.
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク |
ご意見，ご要望のある方は，ＣＳ研究会ホームページ管理者にご連絡ください．迷惑メール対策により，ホームページ記載のメールアドレスの一部を全角文字または画像としております．あらかじめご了承ください．
 |
IEICEホームページ |  |
 |
情報伝送と信号処理 ワークショップ |