Kharisova Taisia A.

Work place: Ioffe Institute, Saint Petersburg, 194021, Russian Federation
Post: Engineer
E-mail: tais.harisova@mail.ru
ORCID: 0009-0002-3456-0471
Novikov F. A., Afanasieva I. V., Fedorchenko L. N., Kharisova T. A.
Specification language for automatа-based objects cooperation

The article was published in issue 6, volume 24, 2024
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

The article was published in issue 2, volume 25, 2025
Copyright 2001-2025 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика