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


   


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


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

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

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


x
x