Grygoriy Zholtkevych, Artem Panchenko. About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems. In 13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023, Athens, Greece, October 13-15, 2023. pages 1-7, IEEE, 2023. [doi]
Abstract is missing.