Найдено научных статей и публикаций: 1, для научной тематики: GOLDEN MODEL
1.
Стотланд И.А.
, 2013
В статье введено понятие модулей системного обмена (МСО) микропроцессорных вычислительных комплексов. Предложена формальная модель МСО, на основе которой разработан метод динамической верификации МСО с применением функциональных эталонных моделей уровня транзакций. Обоснована архитектура тестовой си...
В статье введено понятие модулей системного обмена (МСО) микропроцессорных вычислительных комплексов. Предложена формальная модель МСО, на основе которой разработан метод динамической верификации МСО с применением функциональных эталонных моделей уровня транзакций. Обоснована архитектура тестовой системы и ее основные компоненты.
МЕТОД ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ
Стотланд И.А.
Научно-технический вестник Поволжья. 2012. № 4. С. 191-196.