Menu
Publications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Editor-in-Chief
Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
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.
E-mail: fedornovikov51@gmail.com
Scopus ID: 16441904500
ORCID: 0000-0003-4450-0173
Post: Senior Researcher, Professor; Professor
Degree: D.Sc.
E-mail: fedornovikov51@gmail.com
Scopus ID: 16441904500
ORCID: 0000-0003-4450-0173
Afanasieva I. V., Novikov F. A., Fedorchenko L. N.
The article was published in issue 4, volume 23, 2023
Verification of event-driven software systems using the specification language of cooperating automata objects
The article was published in issue 4, volume 23, 2023