Параллельное тестирование больших автоматных моделей.


Параллельное тестирование больших автоматных моделей.

Авторы

А.С. Косачев, И.Б.Бурдонов, С.Г. Грошев, А.С. Камкин, А.А. Сортов.

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

Издание

Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228.

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

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

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