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