PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kikuno, Tohru"

Author of the publication

copydeleteadd this publication to your clipboard
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.

, , , and . ICOIN (1), volume 2343 of Lecture Notes in Computer Science, page 641-651. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kikuno, Tohru
add a person with the name Kikuno, Tohru
 

Other publications of authors with the same name

A promising approach to two-person software review in educational environment., , , , and . Journal of Systems and Software, 40 (2): 115-123 (1998)Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines., , and . Real-Time Systems, 7 (3): 275-289 (1994)A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation., , , , and . Software Quality Journal, 13 (2): 177-193 (2005)A Meeting Scheduler for Office Automation., , and . IEEE Trans. Software Eng., 15 (10): 1141-1146 (1989)An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power., , and . IEICE Transactions, 90-D (3): 680-684 (2007)Feasibility problem for meeting timetable rearrangement., , , and . Systems and Computers in Japan, 16 (3): 77-84 (1985)Application of protocol sythesis technique to resolution of the service interaction problem., , and . FORTE, volume 6 of IFIP Conference Proceedings, page 379-381. Chapman & Hall, (1994)Constructing Overlay Networks with Low Link Costs and Short Paths., , , and . NCA, page 299-304. IEEE Computer Society, (2007)A Selective Software Testing Method Based on Priorities Assigned to Functional Modules., , , , and . APAQS, page 259-267. IEEE Computer Society, (2001)Feature Interaction Detection Using Permutation Symmetry., , and . FIW, page 187-201. IOS Press, (1998)