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


   


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


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

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

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


x
x