Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Математичні машини і системи, 2013 за автором "Сеспедес Гарсия, Н.В."

Репозиторій DSpace/Manakin

Перегляд Математичні машини і системи, 2013 за автором "Сеспедес Гарсия, Н.В."

Сортувати за: Порядок: Результатів:

  • Атрибуты и метрики гарантоспособных компьютерных систем 
    Федухин, А.В.; Сеспедес Гарсия, Н.В. (Математичні машини і системи, 2013)
    Рассмотрена атрибутивная модель гарантоспособности систем, проведен комплексный анализ основных атрибутов и метрик гарантоспособности систем.
  • Оценка уровня целостности гарантоспособных компьютерных систем 
    Сеспедес Гарсия, Н.В. (Математичні машини і системи, 2013)
    В статье рассмотрены основные аспекты целостности гарантоспособных компьютерных систем (ГКС), описаны механизмы и методы обеспечения целостности ГКС, предложен метод количественной оценки уровня целостности систем.
  • Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем 
    Федухин, А.В.; Сеспедес Гарсия, Н.В. (Математичні машини і системи, 2013)
    Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис