
... реализации. Показано, что верификация программного обеспечения является основой для верификации информационных моделей. Показано, что алгоритм реализации информационной верифицированной модели обладает большей надежностью в сравнении с обычным алгоритмом. Статья показывает ...
Теги: информационные модели , верификация , алгоритм , алгоритм реализации , темпоральная логикаосновной | +7(3952) 500-646 |
приемная | +7(3952) 42-47-00 |
факс | +7(3952) 42-67-96 |
Смотреть справочник |