Add to Quick Collection
All 7 Results
Showing items 1 - 7 of 7.
Add All Items to Quick Collection
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 70-71
Type: статьи в сборниках
Date: 2018
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 6. С. 730-742
Type: статьи в журналах
Date: 2017
Description:
В работе рассматриваются задачи проверки существования и синтеза синхронизирующих и установочных последовательностей для конечных входо-выходных полуавтоматов. Соответствующие последовательности могут
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 38. С. 63-71
Type: статьи в журналах
Date: 2017
Description:
Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система о
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2016. № 4. С. 89-97
Type: статьи в журналах
Date: 2016
Description:
Статья посвящена проблеме моделирования, композиции и детерминизма составных систем. Компоненты системы моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 3. С. 67-75
Date: 2014
Description:
В статье указано А. А. Косачев
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 89-98
Type: статьи в журналах
Date: 2011
Description:
Исследуются методы практического тестирования конформности исследуемой системы спецификации. Изучаются практически приемлемые ограничения на семантику, реализацию и спецификацию, а также дополнительны
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 4. С. 124-133
Type: статьи в журналах
Date: 2010
Description:
Исследуются формальные методы тестирования конформности исследуемой системы спецификации. Семантика взаимодействия определяет тестовые возможности, сводимые к наблюдению действий и отказов (отсутствия
... More