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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext