Верификация имитационных моделей в среде ДИАНА с применением средства SPINстатья

Работа с статьей


[1] Балашов В. В., Ларионов А. А. Верификация имитационных моделей в среде ДИАНА с применением средства spin // Программные системы и инструменты. Тематический сборник. — Т. 7 из Программные системы и инструменты. — МАКС Пресс Москва, 2006. — С. 146–146.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть