講演番号 | 題目/著者 |
---|---|
A-001 | 変数値域限定による充足可能性判定効率化手法の検討 中山寛己, 千代英一郎, |
A-002 | 文法推論に基づくシステム仕様からのモデル生成高速化手法の検討 金子 舟, 千代英一郎, |
A-004 | 混合型時間アンビアント計算のCTLモデル検査 樋口昌宏, 稲森啓太, |
A-005 | 混合型時間アンビアント計算の記述性; Timed Mobile Ambientとの比較 藤坂吉秀, 樋口昌宏, |
A-007 | JavaScriptへのオウン変数機能と関数クローニング機能の追加 柏倉 歩, 大谷 真, |