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