Livres de Elena Troubitsyna - BookPine

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Brijesh Dongol

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings ... Notes in Computer Science Book 11699)

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings ... Notes in Computer Science Book 11699)

Alexander Romanovsky

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Michael Butler