( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.

, , и . PRDC, стр. 40-47. IEEE Computer Society, (2008)

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.

Tohru Iwai

 

Другие публикации лиц с тем же именем

Feature Interaction Detection Using Permutation Symmetry., , и . FIW, стр. 187-201. IOS Press, (1998)Application of protocol sythesis technique to resolution of the service interaction problem., , и . FORTE, том 6 из IFIP Conference Proceedings, стр. 379-381. Chapman & Hall, (1994)A Decentralized Scheme for Network-Aware Reliable Overlay Construction., , и . ICOIN, том 3961 из Lecture Notes in Computer Science, стр. 955-964. Springer, (2006)A Semantic Approach to Usability in Relational Database Systems., , , и . ICDE, стр. 203-210. IEEE Computer Society, (1984)A fast selective traversal algorithm for binary search trees., , и . COMPSAC, стр. 601-605. IEEE, (1979)Characterization of risky projects based on project managers' evaluation., , , и . ICSE, стр. 387-395. ACM, (2000)Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing., , и . COMPSAC, стр. 72-77. IEEE Computer Society, (2004)Feasibility problem for meeting timetable rearrangement., , , и . Syst. Comput. Jpn., 16 (3): 77-84 (1985)On the Reliability of Cascaded TMR Systems., , и . PRDC, стр. 184-190. IEEE Computer Society, (2010)Detecting Feature Interactions in Home Appliance Networks., , , и . SNPD, стр. 895-903. IEEE Computer Society, (2008)