論文 †

• 統合開発環境による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モデル検査
  • 綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀
    • 「コンピュータソフトウェア誌」に現在投稿中（採録済）

発表 †

• 統合開発環境によるLMNtalモデル検査
  • 綾野貴之(発表者), 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀
    • PPL2009

• 統合開発環境によるLMNtalモデル検査
  • 綾野 貴之
    • PTT #354

ポスター・デモ発表 †

• LMNtalモデル検査の可視化環境
  • 綾野貴之, 堀泰祐, 後町将人, 岩澤宏希, 小川誠司, 上田和紀
    • PPL2009

関連論文 †

• LMNtalに基づくモデル検査環境
  • 堀泰祐, 佐々木隆之, 綾野貴之, 岡部亮, 上田和紀
    • 第5回システム検証の科学技術シンポジウム, No. 59, pp. 21–32，2008.

• LMNtalを用いた状態空間探索
  • 小川誠司, 綾野貴之, 上田和紀
    • 第23回人工知能学会全国大会

Related pages

1. MenuBar(1817d)