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

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Об одной модификации понятия t-эквивалентности топологических пространств
Authors: Гулько, Сергей Порфирьевич | Окулова, Елена Игоревна.
Source: Вестник Томского государственного университета. 2003. № 280 (декабрь) : Серия "Математика. Кибернетика. Информатика". С. 39
Type: статьи в журналах
Date: 2003
Add   Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
Authors: Куфарева, Ирина Борисовна | Тренькаев, Вадим Николаевич
Source: Вестник Томского государственного университета. 2003. № 278. С. 122-128
Type: статьи в журналах
Date: 2003
Description: Рассматривается метод синтеза полных проверяющих тестов для автоматной сети, состоящей из двух компонент: проверяемого автомата и контекстного автомата. Предполагается, что неисправности возможны толь ... More
  • «
  • ←
  • 1
  • →
  • »
^