Elena Troubitsyna

الكتب
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
٢٠٢٥
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠٢٠
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
٢٠١٩
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
٢٠١٩
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
٢٠١٦
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
٢٠٠٩