Искать
Отображаемые элементы 1-1 из 1
Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения
(ХАИ, 2006)
Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...