Электронная библиотека (репозиторий) Томского государственного университета
статьи в журналах | верификация | моделирование

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Аналитическая верификация моделей седиментации, основанных на методе дискретных элементов
Authors: Дьяченко, Евгений Николаевич
Source: Вестник Томского государственного университета. Математика и механика. 2013. № 2. С. 17-21
Type: статьи в журналах
Date: 2013
Add   Проверка схемной реализации частичных булевых функций
Authors: Черемисинова, Людмила Дмитриевна | Новиков, Дмитрий Яковлевич
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 4. С. 102-111
Type: статьи в журналах
Date: 2008
Description: Рассматривается задача верификации логических описаний одного и того же устройства, первое из которых поведенчески не полностью определено и задано в виде системы частично определенных булевых функций ... More
  • «
  • ←
  • 1
  • →
  • »
^