Algebraic interaction theory and cyber-physical systems

за авторством A. A. Letichevskij
Опубліковано 2017

Cyber-physical systems

за авторством A. A. Letichevskij, A. A. Letichevskij, V. G. Skobelev, V. A. Volkov
Опубліковано 2017

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems

за авторством A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Опубліковано 2015

A survey of systematic methods for code-based test data generation

за авторством V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Опубліковано 2017

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

за авторством M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev
Опубліковано 2018