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


   
Дополнительные параметры поиска

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


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

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

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


Телефоны

основной    +7(3952) 500-646
приемная    +7(3952) 42-47-00
факс     +7(3952) 42-67-96
Смотреть справочник