研究業績のバックアップ差分(No.4)

追加された行はこの色です。
削除された行はこの色です。

* 研究業績 [#x6c08d01]

** 論文誌論文 [#f62df7df]

-  Toru Nanba, Tatsuhiro Tsuchiya, and Tohru Kikuno, Using Satisfiability Solving for Pairwise Testing in  the Presence of Constraints, IEICE Transactions on Information and Systems, Vol.E95-D, No.9, Sep. 2012.

** 国際会議論文 [#f62df7df]

- Hirofumi Terada, Tsukasa Onishi, and Tatsuhiro Tsuchiya, "Proposal of Environmental Adaptation Middleware for the Next-generation Distribution SCADA System, 5th China International Conference on Electricity Distribution (CICED 2012) (accepted).
- Hirofumi Terada, Tsukasa Onishi, and Tatsuhiro Tsuchiya, Proposal of Environmental Adaptation Middleware for the Next-generation Distribution SCADA System, 5th China International Conference on Electricity Distribution (CICED 2012) (accepted).

- Tatsuhiro Tsuchiya, Achieving High Availability of Consistent Data in the Presence of Network Partitions, 3rd International Symposium on Multidisciplinary Emerging Networks and Systems (MENS2012), September 4-7, 2012, Fukuoka, Japan (accepted).

研究業績 のバックアップ差分(No.4)