Computer technologies of dynamic and logical-probabilistic modelling for calculations of engineering systemsVitalii BalalovE3S Web of Conf., 410 (2023) 03008DOI: https://doi.org/10.1051/e3sconf/202341003008