Algebraic interaction theory and cyber-physical systems by A. A. Letichevskij

Get full text

Cyber-physical systems by A. A. Letichevskij, A. A. Letichevskij, V. G. Skobelev, V. A. Volkov

Get full text

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems by A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Get full text

A survey of systematic methods for code-based test data generation by V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Get full text

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas by M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev

Get full text