Rchr

J-GLOBAL ID：200901064106416423 Update date: Feb. 02, 2011

Takahashi Koichi

タカハシコウイチ | Takahashi Koichi

Affiliation and department：
Homepage 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

ｍore...

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM