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