Copyright © СО РАН

СО РАН

  
     
 

Институт систем информатики им. А.П. Ершова СО РАН

Приоритетные направления:

 
  • 4.6. Архитектура, системные решения, программное обеспечение и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.
Программа:

 
  • 4.6.2. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования. (Координатор: д.ф.-м.н. А.Г. Марчук)

Проект 4.6.2.3. Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем (2007 - 2009 год)







[по направлениям] ||[по институтам] ||[по годам] ||[поиск] ||[содержание]

    
       
 

Разработано и поддерживается Институтом вычислительных технологий СО РАН