Поиск по сайту


   


Результаты поиска ( Отсортировано по релевантности | Сортировать по дате )


Принципы верификации информационных моделей и алгоритмов

... реализации. Показано, что верификация программного обеспечения является основой для верификации информационных моделей. Показано, что алгоритм реализации информационной верифицированной модели обладает большей надежностью в сравнении с обычным алгоритмом. Статья показывает ...

Теги: информационные модели , верификация , алгоритм , алгоритм реализации , темпоральная логика
Раздел: ИСЭМ СО РАН


x
x