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

Перегляд Математичні машини і системи, 2013, № 2 за темою "Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення"

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

Перегляд Математичні машини і системи, 2013, № 2 за темою "Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення"

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

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

Пошук


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

Перегляд

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