Белорусский государственный университет транспорта
    • русский
    • English
  • русский 
    • русский
    • English
  • Войти
Поиск 
  •   Главная
  • Вестник Белорусского государственного университета транспорта. Наука и транспорт
  • 2014
  • Поиск
  •   Главная
  • Вестник Белорусского государственного университета транспорта. Наука и транспорт
  • 2014
  • Поиск
JavaScript is disabled for your browser. Some features of this site may not work without it.

Поиск

Show Advanced FiltersHide Advanced Filters

Фильтры

Используйте фильтры для уточнения результатов поиска.

Отображаемые элементы 1-2 из 2

  • Параметры сортировки:
  • Релевантность
  • Название по возр.
  • Название по убыв.
  • Дата издания по возр.
  • Дата издания по убыв.
  • Результатов на стр.:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики 

Бочков, К. А.; Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2014)
Рассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К ...
Thumbnail

Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем 

Сивко, Б. В. (БелГУТ, 2014)
Предложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных ...

Контакты | Отправить отзыв
БелГУТ
 

 

Просмотр

Электронная библиотекаПо разделамПо дате публикацииПо авторамПо названиюПо ключевым словамЭта коллекцияПо дате публикацииПо авторамПо названиюПо ключевым словам

Моя учетная запись

Войти

Просмотр

АвторуСивко, Б. В. (2)Бочков, К. А. (1)Харлап, С. Н. (1)Теме
Аппаратно-программные комплексы (2)
Диверситетные аксиоматические базисы (1)Железнодорожная автоматика (1)Железнодорожная телемеханика (1)Объекты информатизации (1)Программное обеспечение микропроцессорных систем (1)Проектирование отказоустойчивых систем (1)Системы реального времени (1)Стратегии обеспечения безопасности (1)... большеДата публикации2014 (2)Has File(s)Yes (2)

Контакты | Отправить отзыв
БелГУТ