Статья ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ АКТИВНЫХ ПРОГРАММНЫХ КОМПОНЕНТОВ МУЛЬТИАГЕНТНОЙ ВИРТУАЛЬНОЙ БИЗНЕС-СРЕДЫ РАЗВИТИЯ ИННОВАЦИЙ