Formalized description of cyber-physical systems models using temporary non-deterministic automata
Trokoz, D A, Zabrodina, K A, Safronova, V S, Veselova, M D, Sinev, M P, Mitrohin, M A, Gurin, E I, Pashchenko, T Y
Published in Journal of physics. Conference series (01.04.2021)
Published in Journal of physics. Conference series (01.04.2021)
Get full text
Journal Article