RRPDB_REPOSITORY_J
研究成果発表データベース
検索画面


検索キー 年度=2002 発表者名, 所属部署名=システム検証研究

検索結果 (11件HIT)
前へ  1  次へ 

成果分類 題目 発表者 発表年月
 誌上発表   Recognizable A-Tree Languages are Boolean Closed   大崎 人士、他  2003.03 詳細
 口頭発表   Automated verification of network protocols based on AC-tree automata theory   大崎 人士  2003.03 詳細
 口頭発表   書換系およびツリー・オートマトン理論にもとづく自動検証技術の開発   大崎 人士  2003.02 詳細
 口頭発表   Equational Tree Automata: Towards Automated Verification of Network Protocols (I) and (II)   大崎 人士  2002.12 詳細
 口頭発表   A tree automata theory for unification modulo equational rewriting   大崎 人士  2002.12 詳細
 誌上発表   A tree automata theory for unification modulo equational rewriting   大崎 人士  2002.07 詳細
 口頭発表   A tree automata theory for unification modulo equational rewriting    大崎 人士、他  2002.07 詳細
 誌上発表   A tree automata theory for unification modulo equational rewriting    大崎 人士、他  2002.07 詳細
 口頭発表   Decidability and closure properties of equational tree languages   大崎 人士  2002.07 詳細
 口頭発表   Petri nets, term rewriting and tree automata   大崎 人士  2002.06 詳細
 誌上発表   Decidability and closure properties of equational tree languages    大崎 人士、他  2002.05 詳細
前へ  1  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp