Александр Петренко, ИСП РАН - Две старые идеи в новой упаковке или старые методы решения новых задач: программирование сверху-вниз в авионике и сосредоточенное описание рассредоточенных действий для обеспечения safety rules
Официальный сайт события
http://www.secr.ru/
Контакты организаторов