Formalized description of cyber-physical systems models using temporary non-deterministic automata by Trokoz, D A, Zabrodina, K A, Safronova, V S, Veselova, M D, Sinev, M P, Mitrohin, M A, Gurin, E I, Pashchenko, T Y

Get full text

Virtual assistant constructing method for metrological measurements by Trokoz, D A, Mitrohin, M A, Sinev, M P, Zinkin, S A, Boriskin, V V, Neshko, D O, Sivishkina, N O

Get full text

Directly executable formal models of middleware for MANET and Cloud Networking and Computing by Pashchenko, D. V., Jaafar, Mustafa Sadeq, Zinkin, S. A., Trokoz, D. A., Pashchenko, T.U., Sinev, M. P.

Get full text

Formal Transformation Inhibitory Safe Petri Nets into Equivalent not Inhibitory by Pashchenko, Dmitry, Trokoz, Dmitry, Konnov, Nikolas, Sinev, Mikel

Get full text

Dependence of the content of magnia in cows blood on the time of the year and the tone of the autonomous nervous system by Zhurenko, E., Karpovsky, V., Danchuk, A., Trokoz, V., Krivoruchko, D.

Get full text

MODERN CALF REARING SYSTEM by Radchikov, V., Bogdanovich, D., Kot, A., Tsai, V., Tomchuk, V., Gryshchenko, V., Karpovskyi, V.

Get full text