Electronic Documents Search

Documents found: 1

1

Технологии автоматизированной верификации функциональных спецификаций программного обеспечения // Материалы...24 - 29 ноября 2003г. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий. — Ч.5

Creators	Дробинцев П. Д.; Котляров В. П.
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	Санкт-Петербург, 2004
Collection	Общая коллекция
Subjects	программные средства; MSC; тестирование; massage sequence charts; элементарные протоколы
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 86 Kb

1