( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and Testing Agent Systems Based on Statecharts.

, , и . FORTE Workshops, том 3236 из Lecture Notes in Computer Science, стр. 308-321. Springer, (2004)

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.

Yong-Rae Lee

Yong-Hyok Kwon

Yong-Hyek Kwon

Yong Il Kwon

Yong-Uk Kwon

 

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

Program slicing based on specification., , , и . SAC, стр. 605-609. ACM, (2001)Safety Verification of Ada95 Programs Using Software Fault Trees., , , , и . SAFECOMP, том 1698 из Lecture Notes in Computer Science, стр. 226-238. Springer, (1999)Extending MSC for Reactive Systems., и . HCC, стр. 104-. IEEE Computer Society, (2001)The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs., , , и . APSEC, стр. 221-228. IEEE Computer Society, (2001)MuJava: a mutation system for java., , и . ICSE, стр. 827-830. ACM, (2006)Generating Test Sequences from Statecharts for Concurrent Program Testing., , и . IEICE Trans. Inf. Syst., 89-D (4): 1459-1469 (2006)Software technology and industry of Korea: widening horizon and emerging presence.. COMPSAC, стр. 550-551. IEEE, (1989)Analysis and enactment of a distributed software process model: the AttNet model., , и . APSEC, стр. 278-286. IEEE, (1994)Applying Conventional Testing Techniques for Class Testing., , , и . COMPSAC, стр. 447-454. IEEE Computer Society, (1996)The Class-Level Mutants of MuJava., , и . AST, стр. 78-84. ACM, (2006)