|
Title
|
Технологии автоматизированной верификации функциональных спецификаций программного обеспечения // Материалы...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
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|
|
Record key
|
RU\SPSTU\edoc\7806
|
| Record create date |
2/11/2005 |
