Novikov F.A., Afanasieva I.V., Fedorchenko L.N., Kharisova T.A. Verification of the formal requirements for the system behavior based on automaton objects. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2025;25(2):328-338. https://doi.org/10.17586/2226-1494-2025-25-2-328-338
Email this article (Login required)
Email the author (Login required) Editorial address: office 2136, ITMO University, Lomonosov st., 9, Saint Petersburg, Russian Federation
Correspondence address: ITMO University, Kronverksky pr., 49, litera A, Saint Petersburg, Russian Federation, 197101
Phone: +7 (812) 480-02-75
E-mail: ntvitmo@itmo.ru
