Elena Troubitsyna

Books
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
2025
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2020
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
2019
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
2019
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
2016
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
2009