Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Dongol, Brijesh Heftet / 2020 / Engelsk
Dependability and Computer Engineering: Concepts for Software-Intensive Systems Petre Luigia Kombinasjonsprodukt / 2011 / Engelsk
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings Romanovsky Alexander Heftet / 2019 / Engelsk
Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings Romanovsky Alexander Heftet / 2019 / Engelsk
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings Törngren, Martin Heftet / 2025 / Engelsk
