Для цитирования:

Афанасьева И.В., Новиков Ф.А., Федорченко Л.Н. Верификация событийно-управляемых программных систем с использованием языка спецификации взаимодействующих автоматных объектов. Научно-технический вестник информационных технологий, механики и оптики. 2023;23(4):750-756. https://doi.org/10.17586/2226-1494-2023-23-4-750-756

For citation:

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