1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Информационные технологии»
  5. Выпуск 2014 г. № 9
Формализация задачиотладки проектовцифровых систем Иванников А. Д.Стемпковский А. Л.2014 год

Формализация задачи отладки проектов цифровых систем
статья из журнала

Заказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Иванников, А. Д. Формализация задачи отладки проектов цифровых систем / А. Д. Иванников, А. Л. Стемпковский. - (Моделирование и оптимизация). - Текст : непосредственный // Информационные технологии. - 2014. - № 9. - С. 3-9. - Библиогр.: с. 9 (4 назв.). - ISSN 1684-6400.
Аннотация: Приведена модель требуемого внешнего поведения проектируемой цифровой системы, заданной схемой соединения цифровых блоков и программным обеспечением.
Год издания: 2014
Авторы: Иванников А. Д. , Стемпковский А. Л.
Источник: Информационные технологии
Выпуск: № 9
Номера страниц: 3-9
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

Похожие документы

Методы отладки и верификации функционально-потоковых параллельных программ

  • Удалова Ю. В. и др.
  • 2011 год

Design of a Low Cost GSM Based Embedded System for Preventing Vehicle Theft Using AVR Microcontroller

  • Raj Chanchal и др.
  • 2020 год

К проблеме оценки надежности сложных программных систем

  • Царев Р. Ю. и др.
  • 2015 год
Сравнительный анализметодов отладкицифровых систем наэтапе проектирования Иванников А. Д.2020 год

Сравнительный анализ методов отладки цифровых систем на этапе проектирования

  • Иванников А. Д.
  • 2020 год

A Formula for the Mean Length of the Longest Common Subsequence

  • Znamenskij Sergej
  • 2017 год

Комбинированный алгоритм поиска образа в строке

  • Царев Р. Ю. и др.
  • 2017 год

Complex Computer Applications and Techniques for Solving Problems With the Inherent Errors and Synthesis of Optimal Characteristics of Materials and Design Parameters

  • Nekrasov S. A.
  • 2015 год

Принципы структурирования коренных знаний в информационно- аналитических системах

  • Середкина Н. Н. и др.
  • 2026 год
Автоматизированнаясистема формированиятопологическойинформации дляизготовлениякомплектафотошаблонов… Амирханов А. В.Гладких А. А.Глушко А. А.2016 год

Автоматизированная система формирования топологической информации для изготовления комплекта фотошаблонов сверхбольших интегральных схем

  • Амирханов А. В. и др.
  • 2016 год
3D-проекты: быстро,качественно, выгодно 2012 год

3D-проекты: быстро, качественно, выгодно

  • 2012 год
Интегрированныесистемы региональногопрограммирования иавтоматизация ихразработки Соломатин А. Н.2020 год

Интегрированные системы регионального программирования и автоматизация их разработки

  • Соломатин А. Н.
  • 2020 год
Анализ методовдекомпозиции задачиотладки проектовцифровых систем Иванников А. Д.2016 год

Анализ методов декомпозиции задачи отладки проектов цифровых систем

  • Иванников А. Д.
  • 2016 год