Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

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

Test scenarios generation based on formal model за авторством Letichevsky, A.A., Kolchin, A.V.

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

Backward transformation of formulas in symbolic modeling: from the result to the source formula за авторством Godlevsky, A.B., Potienko, S.V.

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