( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A System Dependence Net Generator for Ada Programs.

, , , , и . APSEC, стр. 441-448. IEEE Computer Society, (1999)

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.

Kazuo Inoue

Kazuo Okohira

Kazuo Yajima

Kazuo Araki

Kazuo OÌ no

 

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

O(1) Time Algorithm on BSR for Computing Convex Hull., и . IASTED PDCS, стр. 143-143. IASTED/ACTA Press, (2002)Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets., и . Ada-Europe, том 499 из Lecture Notes in Computer Science, стр. 125-146. Springer, (1991)Applying Design Patterns to Decision Tree Learning System., , и . SIGSOFT FSE, стр. 111-120. ACM, (1998)Program dependence analysis of concurrent logic programs and its applications., , и . ICPADS, стр. 282-291. IEEE Computer Society, (1996)A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph., , и . APSEC, стр. 355-. IEEE Computer Society, (1996)A Test-case Generation Method for Concurrent Programs Including Task-types., , и . APSEC, стр. 485-494. IEEE Computer Society, (1997)Development and operation of a document database for university research and education activities., , , , , , , и . Syst. Comput. Jpn., 33 (10): 41-53 (2002)Tasking Deadlocks in Ada 95 Programs and Their Detection., и . Ada-Europe, том 1088 из Lecture Notes in Computer Science, стр. 135-146. Springer, (1996)Efficient Generation of Gray Codes for Reflectable Languages., , и . ICCSA (4), том 6019 из Lecture Notes in Computer Science, стр. 418-426. Springer, (2010)The use of Ada in the development of distributed systems: experience implementing a communications system., и . WADAS, стр. 245-251. ACM, (1986)