Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings Troubitsyna Elena A. Heftet / 2011 / Engelsk
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Dongol, Brijesh Heftet / 2020 / Engelsk
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings Crnkovic Ivica Heftet / 2016 / Engelsk
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings Romanovsky Alexander Heftet / 2017 / Engelsk
Dependability and Computer Engineering Concepts for Software-Intensive Systems Petre Luigia Innbundet / 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
