From post

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.

 

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

Analyzing Performance for Complex Protocol using Validated CP-nets Models., , и . CIT, стр. 377-384. IEEE Computer Society, (2010)On reachability graphs of Petri nets., , и . Comput. Electr. Eng., 29 (2): 263-272 (2003)A Test Generation Method Based on Model Reduction for Parallel Software., , и . PDCAT, стр. 777-782. IEEE, (2012)Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing., , , , и . CSIE (7), стр. 825-829. IEEE Computer Society, (2009)Test Sequence Generation from Combining Property Modeling and Program Slicing., , , и . COMPSAC Workshops, стр. 45-50. IEEE Computer Society, (2010)On conformance testing of non-deterministic systems., , , и . Int. J. Comput. Math., 77 (1): 55-72 (2001)Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach., , , и . COMPSAC Workshops, стр. 316-321. IEEE Computer Society, (2012)Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control., , , и . WiMob (2), стр. 32-37. IEEE, (2005)0-7803-9181-0.CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol., , и . SNPD, стр. 41-46. IEEE Computer Society, (2010)Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment., , и . Networking, том 3976 из Lecture Notes in Computer Science, стр. 293-306. Springer, (2006)