Рудай Даниил Владимирович

Публикации

Общее число записей - 2
1 Голубева О.И., Рудай Д.В. Построение графа переходов последовательностной схемы с применением SAT-решателя // Современные проблемы физико-математических наук : материалы VII Всероссийской научно-практической конференции с международным участием, г. Орел, 18-21 ноября 2021 г. Орел, 2021. С. 466‒475. 1 электрон. опт. диск (DVD-R).
2 Golubeva O., Ruday D. Construction of Controllability, Observability and Stuck-at Fault Detection Functions //Современные проблемы физико-математических наук : материалы V Всероссийской научно-практической конференции c международным участием, 26-29 сентября 2019 г., Орел. Орёл: ОГУ им. И.С. Тургенева, 2019. P. 281-284.