Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings Prevosto, Virgile Heftet / 2023 / Engelsk
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings Kofroň, Jan Heftet / 2023 / Engelsk
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings Petrucci Laure Heftet / 2017 / Engelsk
CyberSecurity in a DevOps Environment From Requirements to Monitoring Sadovykh, Andrey Heftet / 2024 / Engelsk
CyberSecurity in a DevOps Environment From Requirements to Monitoring Sadovykh, Andrey Innbundet / 2023 / Engelsk
