Найдено научных статей и публикаций: 3, для научной тематики: Модель системы
1.
И. А. Луценко
- Эффективно создаем эффективные системы , 2012
Предприятия состоят из управляемых систем. Для того чтобы разрабатывать или обсуждать эти системы, исследовать их, совершенствовать архитектуру и т.д., необходимо визуально представлять объект исследования, а также иметь возможность идентификации его внешних атрибутов.
В этом некоторые из предназнач...
Предприятия состоят из управляемых систем. Для того чтобы разрабатывать или обсуждать эти системы, исследовать их, совершенствовать архитектуру и т.д., необходимо визуально представлять объект исследования, а также иметь возможность идентификации его внешних атрибутов.
В этом некоторые из предназначений интерфейсной модели.
Интерфейсная модель управляемой системы [Электронный ресурс] — Режим доступа : \WWW/ URL: http://delo-do.com.ua/step1/step1-3.html — 26.02.2012 г. — Загл. с экрана.
2.
Дуравкин Евгений Владимирович, Коровченко Елена Борисовна
- Проблеми телекомунікацій , 2010
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва»....
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».
Дуравкин Евгений Владимирович, Коровченко Елена Борисовна Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей // Проблеми телекомунікацій, Vol. 2011, Issue 1, 2010, pp. 28-38
3.
Е.В. Дуравкин, Е.Б.Коровченко
- Проблеми телекомунікацій. , 2011
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва»....
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».
