A. A. Letichevsky

An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects

Pavel Drobintsev, Alexander Kolchin, Vladimir S. Peschanenko, 2015 .

Semantics of Message Sequence Charts

Thomas Weigert, Alexander A. Letichevsky, Julia V. Kapitonova, 2005, SDL Forum.

Glushkov’s evidence algorithm

Alexander V. Lyaletski, M. K. Morokhovets, A. A. Letichevsky, 2013, Cybernetics and Systems Analysis.

Systems Specification by Basic Protocols

Thomas Weigert, Yu. V. Kapitonova, V. A. Volkov, 2005 .

Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems

Yu. V. Kapitonova, V. A. Volkov, A. B. Godlevskii, 2003 .

Basic protocols, message sequence charts, and the verification of requirements specifications

Thomas Weigert, Alexander A. Letichevsky, Julia V. Kapitonova, 2005, Comput. Networks.

Automata theory, computer-aided design, and some problems of informatics

Yu. V. Kapitonova, A. A. Letichevsky, 2007 .

Cyber-Physical Systems

V. G. Skobelev, V. A. Volkov, A. A. Letichevsky, 2017 .