For citations:
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
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