Novikov Fedor A.

Work place: Peter the Great St. Petersburg Polytechnic University (SPbPU), Saint Petersburg, 195251, Russian Federation; Alferov Academic University, Saint Peterburg, 194021, Russian Federation
Post: Senior Researcher, Professor; Professor
Degree: D.Sc.
Scopus ID: 16441904500
ORCID: 0000-0003-4450-0173
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-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.