Search Results - "верификация моделей"

V. A. Semenov, S. V. Morozov, D. V. Ilyin

Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 197-230 (2018)

S. V. Morozov, D. V. Ilyin, V. A. Semenov, O. A. Tarlapan

Труды Института системного программирования РАН, Vol 27, Iss 4, Pp 69-110 (2018)

E. . Kornykhin, A. . Khoroshilov

Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 143-156 (2018)

D. Beyer, A. K. Petrenko

Труды Института системного программирования РАН, Vol 23, Iss 0 (2018)

V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 36-51 (2013)