" Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures."
International Conference on Dependability of Computer SystemsDepCoS-RELCOMEX 2024
(2024):
Peer-reviewed open-access journal
published since 1998 by Procon Ltd.