1. Главная
  2. Публикации
  3. Technique of verified program module modification with algorithm preservation : доклад, тезисы доклада

Technique of verified program module modification with algorithm preservation : доклад, тезисы доклада

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: 11th International IEEE Scientific and Technical Conference "Dynamics of Systems, Mechanisms and Machines", Dynamics 2017; Omsk; Omsk

Год издания: 2017

Идентификатор DOI: 10.1109/Dynamics.2017.8239513

Ссылки на полный текст

Издание

Журнал: 11th International IEEE Scientific and Technical Conference "Dynamics of Systems, Mechanisms and Machines", Dynamics 2017

Номера страниц: 1-5

Издатель: Institute of Electrical and Electronics Engineers Inc.

Персоны

  • Subbotin N.A. (Reshetnev Siberian State Aerospace University)
  • Lubkin I.A. (Reshetnev Siberian State Aerospace University)

Вхождение в базы данных