Генерация символьных трасс в системе инсерционного моделирования

Летичевский А.А., Летичевский А.Ал., Песчаненко В.С., Гкба А.А.
Генерация символьных трасс в системе инсерционного моделирования

Вид документа: Стаття періодичного видання
Рiк видання: 2015
Автор: Летичевский А.А., Летичевский А.Ал., Песчаненко В.С., Гкба А.А. Авторський знак: Л52 Вид автора: персона
Мова: Російська Обсяг: С.7-19
Шифр: 519.7 УДК: 519.7

Аннотацiя:

верификация, инсерционное моделирование, язык UCM

Є складовою частиною документа: Кибернетика и системный анализ