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