2
Views

Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures

Vyacheslav Kharchenko, Yuriy Ponochovnyi, Sergiy Dotsenko, Oleg Illiashenko, Oleksandr Ivasiuk
How to cite:
Vyacheslav Kharchenko, Yuriy Ponochovnyi, Sergiy Dotsenko, Oleg Illiashenko, Oleksandr Ivasiuk
"Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures"
International Conference on Dependability of Computer SystemsDepCoS-RELCOMEX 2024 ,
,
(2024):

Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures

Authors:

Vyacheslav Kharchenko, Yuriy Ponochovnyi, Sergiy Dotsenko, Oleg Illiashenko, Oleksandr Ivasiuk

Source:

International Conference on Dependability of Computer SystemsDepCoS-RELCOMEX 2024 ,
(2024)
2
Views