документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы Международная конференция по надежности математического обеспечения Резюме статей, заявленных на конференцию Резюме статей

	Резюме статей "Heuristic Methodologies for Automatic Testcase Generation" и "Experience with Automatic Verification and Validation (V&V) Systems". Дата: 15.07.1974 Оригинальный язык документа: английский Авторы: Э. Ф. Миллер, мл., Дж. П. Бенсон, Н. Брукс, Р. А. Мелтон, Р. Дж. Арбен, У. Р. Уайзхарт Изображения страниц: 1 2 Назад Следующий документ (Титульная страница и резюме статьи) Предыдущий документ (Список)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016