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

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   50 лет криптографии в Томском государственном университете
Authors: Агибалов, Геннадий Петрович
Source: Прикладная дискретная математика. 2009. № 2. С. 104-126
Type: статьи в журналах
Date: 2009
Description: Реферативный обзор результатов криптографических исследований научной школы прикладной дискретной математики Томского государственного университета за последние 50 лет.
Add   Refining specifications in adaptive testing of nondeterministic finite state machines
Authors: Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2009. № 1. С. 99-114
Type: статьи в журналах
Date: 2009
Description: This paper addresses testing of nondeterministic FSMs. An implementation FSM is allowed to be less nondeterministic than its specification, so the reduction relation between machines is the conformanc ... More
Add   Недетерминированные автоматы: анализ и синтез : [учебное пособие]. Ч. 2
Authors: Евтушенко, Нина Владимировна | Рекун, М. В. | Тихомирова, Светлана Владимировна
Type: учебные издания
Date: 2009
  • «
  • ←
  • 1
  • →
  • »
^