Skip navigation

Browsing by Author Королев, Ю. И.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)
2014Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики АлленаЕремеев, А. П.; Королев, Ю. И.
2015Верификация моделей процессов в динамических системах по методу model checkingКоролев, Ю. И.
2016Разработка программного обеспечения для моделирования систем на основе темпоральных сетей ПетриЕремеев, А. П.; Королев, Ю. И.; Eremeev, A. P.; Korolev, Y. I.