Preview

User

Not a user? Register with this site Forgot your password?

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

Advanced search
Fullscreen

For citations:

Afanasieva I.V., Novikov F.A., Fedorchenko L.N. Verifcation of event-driven software systems using the specifcation language of cooperating automata objects. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2023;23(4):750-756. https://doi.org/10.17586/2226-1494-2023-23-4-750-756

Views PDF (Eng): 4


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2226-1494 (Print)
ISSN 2500-0373 (Online)

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

Processing of personal data
supported by NEICON (Elpub lab)