Библиотека » Информационные Технологии » Системы автоматизированного проектирования

Единая облачная платформа управления разработкой
Плесняев В.А., Жучков К.Н., Журнал «Газовая промышленность» 05 /706/ 2014.
Методика комплексной функциональной верификации модулей системного обмена микропроцессорных вычислительных комплексов
Стотланд И.А., Стотланд И.А. автореферат диссертации на соискание ученой степени кандидата технических наук / Московский государственный технический университет....
Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования
А.А. Тюгашев, А.В. Шулындин, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66.
Автономная верификация микропроцессоров на основе эталонных моделей разного уровня абстракции
Шмелёв В.А., Стотланд И.А., АВТОНОМНАЯ ВЕРИФИКАЦИЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ РАЗНОГО УРОВНЯ АБСТРАКЦИИ Шмелёв В.А., Стотланд И.А. Всероссийская научно-техническая....
Метод динамической верификации модулей системного обмена микропроцессорных вычислительных комплексов
Стотланд И.А., МЕТОД ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ Стотланд И.А. Научно-технический вестник Поволжья. 2012. №....
Методика функциональной верификации цифровых устройств
Деменкова Т.А., Певцов Е.Ф., Стотланд И.А., МЕТОДИКА ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ ЦИФРОВЫХ УСТРОЙСТВ Деменкова Т.А., Певцов Е.Ф., Стотланд И.А. Электронная техника. Серия 2: Полупроводниковые приборы. 2011. № 2. С.....
Разработка и экспериментальное подтверждение математической модели тросовых виброизоляторов
Мелентьев В.С., Гвоздев А.С., Пономарёв Ю.К., Сборник трудов Восьмая международная научно-техническая интернет-конференция «Новые материалы и технологии в машиностроении», 05-06.2008, г. Брянск.