●ポスター発表、及び、スポンサー発表 ・日時:2009年11月12日(木)16:10〜17:00 ・会場:新館 AIMビル3F 311, 312, 313会議室
●ポスター展示発表 九州・国際テクノフェア展示場内(小間No.7) ・期間:2009年11月12日(木)〜13日(金) 9:30 〜 17:00 -「状態遷移モデルを用いたMC/DCテスト技法」 田村 政和, 松本 充広 (キャッツ) -「受入れ検査での状態遷移表適応」 石橋 匠 (キャッツ)
ZIPC Feature製品詳細はこちら >>
UPPAAL製品詳細はこちら >>