Электронная библиотека (репозиторий) Томского государственного университета
статьи в журналах | верификация | 2021

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Authors: Девянин, Петр Николаевич | Леонова, Мария Александровна
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132
Type: статьи в журналах
Date: 2021
Description: Рассматриваются приемы согласованного описания мандатной сущностно-ролевой
Add   Способ прогнозирования зон обледенения воздушных судов на основе радиометрических измерений параметров атмосферы
Authors: Зуев, Владимир Владимирович | Павлинский, Алексей Валерьевич | Мордус, Дарья Петровна | Нечепуренко, Ольга Евгеньевна | Ильин, Геннадий Николаевич | Быков, Владимир Юрьевич
Source: Известия высших учебных заведений. Северо-Кавказский регион. Серия : Естественные науки. 2021. № 1. С. 59-69
Type: статьи в журналах
Date: 2021
Description: Обледенение является одним из неблагоприятных метеорологических явлений для авиации. Обледенение воздушного судна (ВС), как правило, возникает в результате образования льда на его поверхности при отри ... More
  • «
  • ←
  • 1
  • →
  • »
^