Elena Troubitsyna – författare
Visar alla böcker från författaren Elena Troubitsyna. Handla med fri frakt och snabb leverans.
17 produkter
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Av Luigia Petre, Kaisa Sere m. fl.
Inbunden, 2011
1797 kr
Lägg i varukorg
Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Av Alexander Romanovsky, Elena Troubitsyna m. fl.
Häftad, 2019
746 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 …
Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Av Friedemann Bitsch, Erwin Schoitsch m. fl.
E-bok, 2019
1007 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 …
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Av Alexander Romanovsky, Elena Troubitsyna m. fl.
Häftad, 2019
657 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They …
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Av Friedemann Bitsch, Elena Troubitsyna m. fl.
E-bok, 2019
839 kr
Lägg i varukorg
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They …
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Av Brijesh Dongol, Elena Troubitsyna
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum …
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Av Elena Troubitsyna, Brijesh Dongol
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad …
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings
Av Martin Törngren, Barbara Gallina m. fl.
Häftad, 2025
1074 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025. The 43 papers included in this book were carefully reviewed …
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings
Av Friedemann Bitsch, Elena Troubitsyna m. fl.
E-bok, 2025
1059 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025. The 43 papers included in this book were carefully reviewed …
Computer Safety, Reliability, and Security
45th International Conference, SAFECOMP 2026, Valencia, Spain, September 23–25, 2026, Proceedings
Av Elena Troubitsyna, David de Andrés m. fl.
Häftad, 2026
638 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, held in Valencia, Spain, during September 23–25, 2026.The 23 full papers included in this volume were carefully reviewed and selected from 125 …
Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops
CSRIS, DAIES, DECSoS, ORCAS, SafetyNXT, SASSUR, SENSEI, and WAISE, Valencia, Spain, September 22, 2026, Proceedings
Av Elena Troubitsyna, David de Andrés m. fl.
Häftad, 2026
1318 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, which took place in Valencia, Spain, on September 22, 2026.The 58 papers included in this book were carefully reviewed and …
Software Engineering for Resilient Systems
8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Av Ivica Crnkovic, Elena Troubitsyna
Häftad, 2016
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following …
Software Engineering for Resilient Systems
8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Av Elena Troubitsyna, Ivica Crnkovic
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following …
Rigorous Development of Complex Fault-Tolerant Systems
Av Michael Butler, Cliff Jones m. fl.
Häftad, 2006
567 kr
Lägg i varukorg
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of …
Rigorous Development of Complex Fault-Tolerant Systems
Av Elena Troubitsyna, Alexander Romanovsky m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of …
Methods, Models and Tools for Fault Tolerance
Av Michael Butler, Cliff B. Jones m. fl.
Häftad, 2009
567 kr
Lägg i varukorg
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures …
Methods, Models and Tools for Fault Tolerance
Av Elena Troubitsyna, Alexander Romanovsky m. fl.
E-bok, 2009
739 kr
Lägg i varukorg
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures …
