現在の位置
diff プラグインを使用中
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
- Go to 論文・発表.
- Deleting diff of 論文・発表
*論文 [#gf1d9279] -統合開発環境によるLMNtalモデル検査 --綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀 ---第11回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 1–15, 2009. -Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. --Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa and Seiji Ogawa ---Sixth International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), LNCS 5684, Springer, 2009, pp.349-355. -統合開発環境によるLMNtalモデル検査 --綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀 ---「コンピュータソフトウェア誌」に現在投稿中(採録済) *発表 [#b11e9e67] -統合開発環境によるLMNtalモデル検査 --綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀 --綾野貴之(発表者), 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀 ---[[PPL2009>http://millsmess.cs.uec.ac.jp/ppl2009/]] -統合開発環境によるLMNtalモデル検査 --綾野 貴之 ---[[PTT #354>http://www.ci.i.u-tokyo.ac.jp/~sasada/ptt/index-j.html]] *ポスター・デモ発表 [#g2f8ba8c] -LMNtalモデル検査の可視化環境 --綾野貴之, 堀泰祐, 後町将人, 岩澤宏希, 小川誠司, 上田和紀 ---[[PPL2009>http://millsmess.cs.uec.ac.jp/ppl2009/]] *関連論文 [#re85f09f] -LMNtalに基づくモデル検査環境 --堀泰祐, 佐々木隆之, 綾野貴之, 岡部亮, 上田和紀 ---第5回システム検証の科学技術シンポジウム, No. 59, pp. 21–32,2008. -LMNtalを用いた状態空間探索 --小川誠司, 綾野貴之, 上田和紀 ---第23回人工知能学会全国大会