Теоретическая модель макросегментации рынка мест: разработка и верификация

О верификации программного комплекса ANSYS Mechanical

Верификация баз знаний в интегрированных экспертных системах

Верификация, тестирование и оценивание корректности программных компонентов

Верификация (тезисы лекции)

Программа «Профилактика кори и краснухи в период верификации их элиминации в Калужской области (2013-2015гг)»

Интегрально-кривизная технология распознавания папиллярных узоров на отпечатках пальцев для дактилоскопических верификационных систем

Спецификация и верификация языковых процессоров

Безопасность, верификация и теория конформности

Верификация изменяемых и расширяемых систем

Опыт верификации прикладного программного обеспечения системы внутриреакторного контроля АЭС «Куданкулам» в части реализации защиты по запасу до кризиса теплообмена

Методы формальной верификации: неформальное введение

Современные технологии моделирования и верификации цифровых систем на кристаллах

Верификация кода гефест-улр для обоснования эффективности работы ловушки расплава

О верификации свойств вероятностных мультиагентных систем

Верификация программного средства PSG2/Serpent для расчета изотопного состава ОЯТ ВВЭР-1000 И ВВЭР-440

Новая тест-система «ДС-ИФА-ВИЧ-АТ/АГ-СПЕКТР» для верификации исследований на маркеры ВИЧ инфекции

Технологии разработки и верификации программного обеспечения

Международные разоруженческие режимы и проблемы их верификации. роль научно-технологической компоненты

Диагностическая ценность качественного иммунохроматографического метода определения сердечного белка, связывающего жирные кислоты, в ранней верификации острого инфаркта миокарда