А-Р Л 98 Лях, Татьяна Викторовна. Динамическая верификация процесс-ориентированных программ управления киберфизическими системами : автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 / Т. В. Лях ; Институт автоматики и электрометрии СО РАН (Новосибирск). - Новосибирск, 2020. - 20 с. -
Держатели документа: ИСЭМ Доп.точки доступа: Институт автоматики и электрометрии СО РАН (Новосибирск) Имеются экземпляры в отделах: отд. хр. Инв.б/н (свободен) |