Author Fedorchenko Ludmila N. Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2025 , VOLUME 25, NUMBER 1 ( january-february )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Fedorchenko Ludmila N.

Work place: St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, Laboratory of Applied Informatics
Post: Senior Researcher
Degree: PhD
E-mail: lnf@iias.spb.su
Scopus ID: 36561350100
ORCID: 0000-0002-4008-9316

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

Copyright 2001-2025 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.