Add to Quick Collection
All 2 Results
Showing items 1 - 2 of 2.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. 2003. № 278. С. 122-128
Type: статьи в журналах
Date: 2003
Description:
Рассматривается метод синтеза полных проверяющих тестов для автоматной сети, состоящей из двух компонент: проверяемого автомата и контекстного автомата. Предполагается, что неисправности возможны толь
... More
Source: Вестник Томского государственного университета. 2003. № 278. С. 129-133
Type: статьи в журналах
Date: 2003