Электронная библиотека (репозиторий) Томского государственного университета
Yenigün, Hüsnü | Yevtushenko, Nina V.

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Information processing letters. 2017. Vol. 127. P. 49-53
Type: статьи в журналах
Date: 2017
Description: In this paper, we address the problem of setting a deterministic Finite State Machine (FSM) to a designated initial state. Differently from other papers, we propose to use adaptive synchronizing seque ... More
Add   Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Authors: Kushik, Natalia G. | Yevtushenko, Nina V. | Yenigün, Hüsnü
Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, Italy. [S. l.], 2016. P. 83-90
Type: статьи в сборниках
Date: 2016
Add   Some classes of finite state machines with polynomial length of distinguishing test cases
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016. NY, 2016. P. 1680-1685
Type: статьи в сборниках
Date: 2016
  • «
  • ←
  • 1
  • →
  • »
^