ITMO University
“Programming Technologies” Department



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



    / UniMod Projects (версия для печати)


UniMod Projects



Executable UML (external link: en.wikipedia.org)

«Device» for Poker card game

Satukov R.V., Sinev I.S., Shalyto A.A. State machine-based implementation of Lamport algorithm

Vokin A.A., Pimenov I.A., Shalyto A.A. Modelling of the Car Auto Gear

Yakovlev A.V., Lukin M.A., Shalyto A.A. Implementation of classical Nim game based on automata approach

Kozlov V.A., Komaleva O.A. Cash machine model

Magomedov T.G., Ostrovskiy A.B. Simulation of smart traffic lights

Kirakozov A., Shalyto A., Yaminov B. Alarm System

Potemkin A., Meretyakov M., Shalyto A. Digital Camera Simulation on Basis of Automata Approach to Programming

Votinov I.A., Khasanzyanov B.Z., Shalyto A.A. Network File Sharing System (NetBIOS system analog)

Danilov V.R., Varvaluk I.O. Automated mobile phone payment system

Zakonov A.Y., Klebanov A.A. Exchange machine modeling

Zakharov D.D., Kosukhin S.S. "One handed gangster" device simulation

Podtelkin F.V., Shalyto A.A. Modelling of automated multistorey parking

Kulagin D.I. , Suslov A.V. Ticket Vending Machine Modeling

Gnilomedov I.I., Shalyto A.A. Simulation of a washing machine

Egorov K.V., Raikov P.M. Game "La Redada"

Kashirin V.V., Shalyto A.A. Modeling of working process of port container crane

Goonich I.S., Irinev A.V., Shalyto A.A. The automatic approach to modelling evolution of microorganisms with using of genetic algorithms

Nikitin A.S., Churakov M.Y. Modeling of traversing unsupervised crossings of equal roads

Naumov R.V., Yakushev A.V., Shalyto A.A. Device for Blackjack card game

Rybakov G.M., Shalyto A.A. Intellectual building

Baltiysky I.A., Gindin S.I. Modeling of ATM System




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com