KOROTUNOV, S. U.; TABUNSHCHYK, G. V. ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS. Radio Electronics, Computer Science, Control, [S. l.], n. 3, p. 57–68, 2020. DOI: 10.15588/1607-3274-2020-3-5. Disponível em: http://ric.zntu.edu.ua/article/view/214805. Acesso em: 27 apr. 2024.