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.

 

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

Distinguishing Sequences for Partially Specified FSMs., и . NASA Formal Methods, том 8430 из Lecture Notes in Computer Science, стр. 62-76. Springer, (2014)Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata.. Turkish J. Electr. Eng. Comput. Sci., 27 (5): 3544-3556 (2019)Improvements in finite state machine based testing (Sonlu durum makinelerine dayalı sınama dizilerinde iyileştirmeler). Sabancı University, Turkey, (2014)An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines., , , и . ISCIS, стр. 325-335. Springer, (2014)The relation between preset distinguishing sequences and synchronizing sequences., , , и . Formal Aspects Comput., 26 (6): 1153-1167 (2014)"Space Frames": Using space, color and animation in the visualization of complex graph systems., , , , , и . ICAT, стр. 286-287. IEEE Computer Society, (2007)Minimizing Characterizing Sets., , и . FACS, том 12018 из Lecture Notes in Computer Science, стр. 72-86. Springer, (2019)Parallelizing Heuristics for Generating Synchronizing Sequences., , , , и . ICTSS, том 9976 из Lecture Notes in Computer Science, стр. 106-122. (2016)Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences., , и . ICTSS, том 8763 из Lecture Notes in Computer Science, стр. 32-47. Springer, (2014)Generating Minimum Height ADSs for Partially Specified Finite State Machines., и . ISCIS, том 363 из Lecture Notes in Electrical Engineering, стр. 171-179. Springer, (2015)