Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1 - Silhavy, Radek; Silhavy, Petr (Springer International Publishing, 2024)