author-photo

oomori youiti

Kyushu University

7

Papers

1

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

ポットの例題による「手軽さ」を考慮したフォーマルメソッド適用の検討

2015
Show All
- Source
- Cite
- Save
Citations (0)
A Proposition of Refinement and Verification Method from Requirements to A Synchronous State Machine Model

2010
Show All
- Source
- Cite
- Save
Citations (1)
A Formal Model Verification on Robot Control Software

2007 Technical report of IEICE. SS
Show All
- Source
- Cite
- Save
Citations (0)
A Virtual Bookshelf Disposing Scroop Images over Network

2006 Technical report of IEICE. SS
Show All
- Source
- Cite
- Save
Citations (0)
Web上における仮想書架の試作と評価（「ディジタル図書館」ワークショップ第28回）

2005
Show All
- Source
- Cite
- Save
Citations (0)