Динамическая верификация процесс-ориентированных программ управления киберфизическими системами
Лях, Татьяна Викторовна, 2020, кандидатская диссертация
ФГБУН Институт автоматики и электрометрии Сибирского отделения Российской академии наук, Новосибирск
133 стр.
Другие работы по этой специальности
- Моделирование распространения загрязняющих веществ при напорной фильтрации воды в области сложной конфигурации
Зиннатуллина, Алсу Наилевна · Канд. наук · Казанский национальный исследовательский технологический университет
- Численное исследование наблюдаемых динамических характеристик в моделях гидратации электрона и фильтрации газоконденсатной смеси
Волохова, Алина Викторовна · 2022 · Канд. наук · Объединенный институт ядерных исследований
- Модели и алгоритмы параллельной обработки гидроакустической информации линейных антенных решёток
Сергеева, Елена Игоревна · 2022 · Канд. наук · ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»
- Коррекция классификаторов изображений методом каскадной редукции
Голубков, Александр Михайлович · 2022 · Канд. наук · ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»
- Многомасштабная гомогенизация пьезоэлектрических композитов с модифицированными интерфейсными свойствами : математические модели, конечно-элементные технологии и применения
Нассар Мохамед Элсайед Абузид · 2022 · Канд. наук · ФГАОУ ВО «Южный федеральный университет»