Проекты

Проекты

Разработка и верификация систем управления методом автоматного программирования на базе системы моделирования Event-B
Язык программирования C-Light
Логические методы и верификация распределенных систем
Виртуальный музей истории информатики в Сибири
Web-портал знаний
Реализация полной кросс-системы программирования для платформы БЦВМ OBC-1750
Алгоритмы и программный комплекс анализа и предсказания процессов функционирования регуляторной системы в клетке