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

Новиков Ф.А., Афанасьева И.В., Федорченко Л.Н., Харисова Т.А. Проверка соответствия поведения системы на основе автоматных объектов формальным требованиям. Научно-технический вестник информационных технологий, механики и оптики. 2025;25(2):328-338. https://doi.org/10.17586/2226-1494-2025-25-2-328-338

For citation:

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