D. A. Zorin, V. A. Kostenko, “Simulated annealing algorithm in problems of multiprocessor scheduling”, Avtomat. i Telemekh., 2014, no. 10, 97–109; Autom. Remote Control, 75:10 (2014), 1790–1801
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov, “On the Designing of Model Checkers for Real-Time Distributed Systems”, Model. Anal. Inform. Sist., 19:6 (2012), 45–56
Contact us: