Электронная библиотека (репозиторий) Томского государственного университета
Shabaldina, Natalia V.

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   FSM-based sequential circuits optimization by changing initial state of specification
Authors: Gromov, Maxim L. | Shabaldina, Natalia V. | Tvardovskii, Aleksandr | Prokopenko, Svetlana A.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021. [S. l.], 2021. P. 361-366
Type: статьи в сборниках
Date: 2021
Description: Finite State Machines (FSMs) are widely used for analysis and synthesis of hardware designs. In particular FSM can be used to specify and optimize sequential circuits. The number of gates of a circuit ... More
Add   Towards checking web-services security: using automata equations and inequalities
Authors: Shabaldina, Natalia V. | Yevtushenko, Nina V. | Yu, F.
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 90
Type: статьи в сборниках
Date: 2018
Add   Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
Authors: Forostyanova, Maria S. | Shabaldina, Natalia V. | Yevtushenko, Nina V.
Source: 2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : proceedings. Astana, 2017. P. [1-6]
Type: статьи в сборниках
Date: 2017
Description: In this work we apply test derivation methods for
Add   Derivation of the cascade parallel composition of timed finite state machines using BALM-II
Authors: Gromov, Maxim L. | Shabaldina, Natalia V.
Source: Automatic control and computer sciences. 2017. Vol. 51, № 7. P. 507-515
Type: статьи в журналах
Date: 2017
Description: The paper considers the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). It can be reduced to a step-by-step derivation of a binary parallel composition. It i ... More
Add   Experiments on parallel composition of timed finite state machines
Authors: Sotnikov A. P. | Shabaldina, Natalia V. | Gromov, Maxim L.
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 3. С. 233-246
Type: статьи в журналах
Date: 2017
Description: In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held ex ... More
Add   Using models of finite transition systems for checking Web-service security
Authors: Shabaldina, Natalia V. | Darusenkova, Ekaterina V. | Yevtushenko, Nina V. | Kolomeets, Anton V.
Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017. Novosibirsk, 2017. P. 151-154
Type: статьи в сборниках
Date: 2017
Description: In this paper we discuss how the web-service
  • «
  • ←
  • 1
  • →
  • »
^