研究者

J-GLOBAL ID：200901064106416423 更新日: 2011年02月02日

高橋孝一

タカハシコウイチ | Takahashi Koichi

所属機関・部署：
ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=K11324600
MISC (16件)：

一次元セルオートマトンの有限近似解析. コンピュータソフトウェア. 2006. 23. 3. 147-157
時相論理の充足可能性判定器のための論理式生成法. 電子情報通信学会論文誌 D-I. 2006. J89-D. 4. 642-650
モデル検査技術適用事例研究会の報告. 第5回クリティカルソフトウェアワークショップ(WOCS). 2005. 189-191
一次元セルオートマトンの有限近似解析(Preliminary Version). 算譜科学研究速報. 2005
時相論理の充足可能性判定器のための性能評価法. 算譜科学研究速報. 2005

もっと見る

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM