@proceedings{23449,
  author = {Vyacheslav Kharchenko and Yuriy Ponochovnyi and Sergiy Dotsenko and Oleg Illiashenko and Oleksandr Ivasiuk},
  title = {Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures},
  year = {2024},
  journal = {International Conference on Dependability of Computer SystemsDepCoS-RELCOMEX 2024 },
  month = {1-5 July},
  address = {Brunów, Poland},
}