Morozov Kostiantyn Viacheslavovich

Publications in Math-Net.Ru

1. A formal method for determining the state of processors in a multiprocessor system under testing
   
   Avtomat. i Telemekh., 2021, no. 3,  112–122