Программное средство для верификации целостностиПрограммное средство для верификации
целостности Верификация прогностической способности математической модели принятия решенийВерификация прогностической способности математической модели принятия решений
Верификация проектов СБИС : проблемы и решенияВерификация проектов СБИС : проблемы и решения
Верификация и валидация баз знаний интеллектуальных системВерификация и валидация баз знаний интеллектуальных систем
Верификация качества ПО и автоматизированная система мониторинга результатов тестированияВерификация качества ПО и автоматизированная система мониторинга результатов тестирования
Верификация автоматных VHDL-моделей взаимодействующих цифровых системВерификация автоматных VHDL-моделей взаимодействующих цифровых систем