?

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

Allowed Actions: Read Download (86 Kb)

Group: Anonymous

Network: Internet

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users Read Print Download
-> Internet Anonymous Read Print Download

Included in

Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург). Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. — Санкт-Петербург, 2004. — Электрон. версия печ. публикации 2004. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0.

Санкт-Петербургский государственный политехнический университет. Межвузовская научная-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург). Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. — Санкт-Петербург, 2004. Ч. 5 : Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Электрон. текстовые дан. (161 файлов; 15,84 Мб), 2004. — Электрон. версия печ. публикации 2004. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader4,0. — <URL:http://elib.spbstu.ru/dl/841.pdf>.

Usage statistics

stat Access count: 884
Last 30 days: 7
Detailed usage statistics