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

Шалыто А.А. Валидация автоматных спецификаций. Научно-технический вестник информационных технологий, механики и оптики. 2023;23(2):436-438. https://doi.org/10.17586/2226-1494-2023-23-2-436-438

For citation:

Shalyto A.A. Validation of state machine specifications. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2023;23(2):436-438. (In Russ.) https://doi.org/10.17586/2226-1494-2023-23-2-436-438