Репозиторий БГУИР: Browsing DSpace

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 Date	Title	Author(s)
2014	Анализ и верификация раскрашенных сетей Петри реального времени с поддержкой логики Аллена	Еремеев, А. П.; Королев, Ю. И.
2015	Верификация моделей процессов в динамических системах по методу model checking	Королев, Ю. И.
2016	Разработка программного обеспечения для моделирования систем на основе темпоральных сетей Петри	Еремеев, А. П.; Королев, Ю. И.

Showing results 1 to 3 of 3