Search
Now showing items 1-2 of 2
Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
(ХАІ, 2009)
В статье анализируются допущения, принятые в моделях надежности программных средств. Предлагается подход к разработке моделей обслуживаемых компьютерных систем, в которых учитываются
возможности внесения новых (вторичных) ...
Оцінювання готовності інформаційно-керуючої системи космічного апарату з усуненням програмних дефектів після проведення оперативної онлайн-верифікації
(ХАІ, 2017)
У статті досліджено багатофрагментну модель двоканальної (дубльованої) інформаційно-керуючої
системи пілотованого космічного апарату.