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

Add to Quick Collection   All 7 Results

Showing items 1 - 7 of 7.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
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   Cryptautomata: definition, cryptanalysis, example
Authors: Agibalov, G. P.
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 106-110
Type: статьи в журналах
Date: 2017
Description: This conference paper is an extended abstract of a recent article in Prikladnaya Diskretnaya Matematika (2017, No.36), where we presented the definition of the cryptautomata and described some cryptan ... More
Add   On the fault coverage of high-level test derivation methods for digital circuits
Authors: López, Jorge | Vinarsky, Evgeny | Laputenko, Andrey
Source: Novosibirsk, 2017. P. 184-189
Type: статьи в сборниках
Date: 2017
Description: Testing digital circuits is crucial for guaranteeing the correct and reliable functioning of electronic devices. Deriving high quality test suites to check the correctness of such devices is an import ... 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
Add   О двухкаскадных конечно-автоматных криптографических генераторах и методах их криптоанализа
Authors: Агибалов, Геннадий Петрович | Панкратова, Ирина Анатольевна
Source: Прикладная дискретная математика. 2017. № 35. С. 38-47
Type: статьи в журналах
Date: 2017
Description: Рассматривается криптографический генератор G = A ■ A2, представляющий собой последовательное соединение двух абстрактных конечных автоматов A1 и A2 над полем F2 с множествами состояний F^, n > 1, и F ... More
Add   Программная реализация преобразования глобального полуавтомата во временной автомат
Authors: Сотников, Александр Павлович
Source: Труды Четырнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-18 мая 2017 г.. Томск, 2017. С. 86-89
Type: статьи в сборниках
Date: 2017
Add   Тестирование системы автоматов
Authors: Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 38. С. 63-71
Type: статьи в журналах
Date: 2017
Description: Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система о ... More
  • «
  • ←
  • 1
  • →
  • »
^