List of works 著者を略称で表示 検索著者に下線表示 巻号を短く表示 インパクトファクターなどを表示 開催地(note)を表示 研究会・全国大会等[1] 長岡武志, 岡野浩三, 楠本真二, "UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法," 電子情報通信学会技術報告, volume 107, number 176, pages 77-82, 2007年8月. [0] Search 全て解説論文誌著書翻訳表彰・受賞国際会議国内会議(査読付き)研究会・全国大会等学位論文輪講資料Technical Report 年月昇順 年月降順 年月昇順(分類別) 年月降順(分類別) 年月昇順(年，分類別) 年月降順(年，分類別) 全て 著者 筆頭著者 タイトル 論文誌/会議名 出版年 タグ and or Tags この検索内の頻出タグ: abstraction:2 uppaal:1 timed:1 refinement:1 loop:1 extended:1 counterexample-guided:1 automata:1 1 件の該当がありました． : このページのURL : HTML Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |
