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 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)Studying Synchronization Issues for Extended Automata., и . ENASE, стр. 338-345. SCITEPRESS, (2023)Fault Propagation by Equation Solving., и . FORTE, том 3235 из Lecture Notes in Computer Science, стр. 185-198. Springer, (2004)Testing components of interacting timed finite state machines., , и . EWDTS, стр. 1-4. IEEE Computer Society, (2016)Decreasing the complexity of deriving test suites against nondeterministic finite state machines., , , , и . EWDTS, стр. 1-4. IEEE Computer Society, (2017)Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs., и . EWDTS, стр. 1-5. IEEE, (2020)Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations., , , , и . IWLS, стр. 45-50. (2002)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)