Аналитическая верификация конформности.

Авторы

И.Б. Бурдонов, А.С. Косачев.

Полный текст статьи в формате pdf

Издание

Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 261-264.

Научная группа

Технологии программирования

Все публикации за 2009 год

Все публикации