Algebraic interaction theory and cyber-physical systems за авторством A. A. Letichevskij

Отримати повний текст

Cyber-physical systems за авторством A. A. Letichevskij, A. A. Letichevskij, V. G. Skobelev, V. A. Volkov

Отримати повний текст

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

Отримати повний текст

A survey of systematic methods for code-based test data generation за авторством V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Отримати повний текст

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

Отримати повний текст