×

Автор РИД: МАЭДА Тосиюки (JP)

Показаны записи 1-1 из 1.
10.06.2016
№216.015.456d

Система предоставления услуги анализа/верификации программ, способ управления такой системой, машиночитаемая среда хранения, устройство для анализа/верификации программ, устройство для управления средством анализа/верификации программ

Изобретение относится к области анализа и верификации целевой программы с использованием средства анализа/верификации программы. Техническим результатом является эффективная верификация программ на основе выбора для использования одного из нескольких подходящих средств верификации программ....
Тип: Изобретение
Номер охранного документа: 0002586016
Дата охранного документа: 10.06.2016
+ добавить свой РИД