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

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 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   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   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
  • →
  • »
^