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.

 

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

Deriving FSM-based tests using $a, b-faults$ for Logic Circuits., , , и . ISVLSI, стр. 80-85. IEEE, (2022)Studying Synchronization Issues for Extended Automata., и . ENASE, стр. 338-345. SCITEPRESS, (2023)A Model Checking Based Approach for Detecting SDN Races., , , , и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 194-211. Springer, (2019)Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines., и . Autom. Control. Comput. Sci., 51 (7): 516-522 (2017)On adaptive experiments for nondeterministic finite state machines., , , и . Int. J. Softw. Tools Technol. Transf., 18 (3): 251-264 (2016)Fault Propagation by Equation Solving., и . FORTE, том 3235 из Lecture Notes in Computer Science, стр. 185-198. Springer, (2004)Conformance Tests as Checking Experiments for Partial Nondeterministic FSM., и . FATES, том 3997 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2005)Testing Nondeterministic Finite State Machines with Respect to the Separability Relation., , и . TestCom/FATES, том 4581 из Lecture Notes in Computer Science, стр. 305-318. Springer, (2007)Fault Detection within a Component of a System of Communicating FSMs., , и . TestCom, том 210 из IFIP Conference Proceedings, стр. 317-. Kluwer, (2002)Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts., , и . ICTSS, том 11146 из Lecture Notes in Computer Science, стр. 149-154. Springer, (2018)