Author of the publication

Describing and Verifying Integrated Services of Home Network Systems.

, , , , and . APSEC, page 549-560. IEEE Computer Society, (2005)

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.

 

Other publications of authors with the same name

A Meeting Scheduler for Office Automation., , and . IEEE Trans. Software Eng., 15 (10): 1141-1146 (1989)Feature Interaction Detection Using Permutation Symmetry., , and . FIW, page 187-201. IOS Press, (1998)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)A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation., , , , and . Softw. Qual. J., 13 (2): 177-193 (2005)Feasibility problem for meeting timetable rearrangement., , , and . Syst. Comput. Jpn., 16 (3): 77-84 (1985)An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power., , and . IEICE Trans. Inf. Syst., 90-D (3): 680-684 (2007)Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines., , and . Real Time Syst., 7 (3): 275-289 (1994)A Decentralized Scheme for Network-Aware Reliable Overlay Construction., , and . ICOIN, volume 3961 of Lecture Notes in Computer Science, page 955-964. Springer, (2006)A Semantic Approach to Usability in Relational Database Systems., , , and . ICDE, page 203-210. IEEE Computer Society, (1984)Characterization of risky projects based on project managers' evaluation., , , and . ICSE, page 387-395. ACM, (2000)