Hiroshi Ohtaka, Koichiro Oshika, Masashi Gotou, Tsutomu Yoshitani, Yoshiaki Fukazawa. Verification of a dependability model of IT services associated with social and economic infrastructure. In Yi Peng, Gang Kou, Franz I. S. Ko, Yong Zeng, Kae-Dal Kwack, editors, Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), Chengdu, China, June 23-25, 2010. pages 577-582, IEEE, 2010. [doi]
Abstract is missing.