167005, Moscow, 11, Pokrovsky boulevard
Edited by: Vitaly Semenov, R. J. Scherer.
CRC Press, 2021.
Bresolin D., El-Fakih K., Villa T. et al.
Formal Methods in System Design. 2022.
Shutkin V., Morozkin N., Zolotov V. et al.
In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.
Burdonov I., Kossachev A., Nina Yevtushenko et al.
arxiv.org. Computer Science. Cornell University, 2020
Department Head, Professor
Deputy Department Head, Professor