CS27 業績リスト


論文誌
[1]  Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Feature Interaction Detection by Bounded Model Checking,'' IEICE Transactions on Information and Systems, vol.E86-D, no.12, pp.2579--2587, December 2003.
国際会議
[1]  Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking,'' In Proc. 2003 International Technical Conference on Circuits/Systems, vol.Computers and Communications (ITC-CSCC2003), no.3, pp.1807--1810, July 2003. (Phoenix Park, Ireland)

This site is maintained by webadmin.

PMAN 2.5.4 - Paper MANagement system / (C) 2002-2007, Osamu Mizuno / All rights reserved.