* 研究業績 [#x6c08d01]

** 論文誌論文 [#f62df7df]

-  Toru Nanba, Tatsuhiro Tsuchiya, and Tohru Kikuno, Using Satisfiability Solving for Pairwise Testing in  the Presence of Constraints, IEICE Transactions (accepted).

トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS