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