Afanasieva Irina V.

Work place: Special Astrophysical Observatory of the Russian Academy of Sciences (SAO RAS), Nizhny Arkhyz, 369167, Russian Federation
Post: Head of Laboratory
Degree: PhD
E-mail: riv615@gmail.com
Scopus ID: 57210431774
ORCID: 0000-0003-4225-4124
Afanasieva I. V., Novikov F. A., Fedorchenko L. N.
Verification of event-driven software systems using the specification language of cooperating automata objects

The article was published in issue 4, volume 23, 2023
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
Copyright 2001-2025 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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