( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs.

, , , и . IEEE Trans. Software Eng., 49 (9): 4371-4389 (сентября 2023)

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.

Can Türker

Türker Sava

Artaç Türker

Rima Türker

Altan Türker

 

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

Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs., , , и . IEEE Trans. Software Eng., 49 (9): 4371-4389 (сентября 2023)Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets., и . IEEE Trans. Computers, 65 (11): 3370-3383 (2016)Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs., и . ACM Trans. Softw. Eng. Methodol., 26 (1): 5:1-5:34 (2017)Distinguishing Sequences for Partially Specified FSMs., и . NASA Formal Methods, том 8430 из Lecture Notes in Computer Science, стр. 62-76. Springer, (2014)Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences., и . Comput. J., 60 (1): 110-125 (2017)An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines., , , и . ISCIS, стр. 325-335. Springer, (2014)Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences., и . IEEE Trans. Software Eng., 42 (11): 1077-1091 (2016)Incomplete Distinguishing Sequences for Finite State Machines., и . Comput. J., 58 (11): 3089-3113 (2015)Minimizing Characterizing sets., , и . Sci. Comput. Program., (2021)The relation between preset distinguishing sequences and synchronizing sequences., , , и . Formal Aspects Comput., 26 (6): 1153-1167 (2014)