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.

 

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

Timed implementation relations for the distributed test architecture., , и . Distributed Comput., 27 (3): 181-201 (2014)Introduction to the Software Engineering and Formal Methods 2013 special issue., , и . Softw. Syst. Model., 16 (1): 5-6 (2017)Formal testing from timed finite state machines., , и . Comput. Networks, 52 (2): 432-460 (2008)Guest Editorial: Special Section on ICTSS., , и . Inf. Softw. Technol., (2020)Intelligent Collective: The Role of Diversity and Collective Cardinality., , и . ICCCI (1), том 10448 из Lecture Notes in Computer Science, стр. 83-92. Springer, (2017)Controllability Through Nondeterminism in Distributed Testing., , и . ICTSS, том 9976 из Lecture Notes in Computer Science, стр. 89-105. (2016)THOTL: A Timed Extension of HOTL., , и . TestCom/FATES, том 5047 из Lecture Notes in Computer Science, стр. 86-102. Springer, (2008)Controllable Test Cases for the Distributed Test Architecture., , и . ATVA, том 5311 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2008)Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models., , и . QSIC, стр. 145-154. IEEE Computer Society, (2009)An evolutionary algorithm for selection of test cases., и . CEC, стр. 1-8. IEEE, (2020)