JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
M-IS. 修士(情報科学) >
M-IS. 2003年度(H15) >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/1769

タイトル: ハイブリットシステムにおけるパラメータ設計
著者: 石川, 礼
著者(別表記): いしかわ, あや
キーワード: ハイブリットシステム、制約論理プログラミング、時相論理、CTL
Hybrid System, Constrait Logic Programing, Tempora
発行日: Mar-2004
記述: 
Supervisor:平石 邦彦
情報科学研究科
修士
タイトル(英語): Designing Parameters of Hybrid System
著者(英語): Ishikawa, Aya
言語: jpn
URI: http://hdl.handle.net/10119/1769
出現コレクション:M-IS. 2003年度(H15) (Jun.2003 - Mar.2004)

このアイテムのファイル:

ファイル 記述 サイズ形式
2264abstract.pdf55KbAdobe PDF見る/開く
2264jabstract.pdf14KbAdobe PDF見る/開く
2264paper.pdf255KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係