Copyright © СО РАН

СО РАН

  
     
 

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

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

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

Проект IV.39.1.3. Методы и средства повышения надежности программных систем, базирующиеся на формальной спецификации и верификации (2013 - 2016 год)







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

    
       
 

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