Cristina Seceleanu – författare
Visar alla böcker från författaren Cristina Seceleanu. Handla med fri frakt och snabb leverans.
10 produkter
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Av Virgile Prevosto, Cristina Seceleanu
Häftad, 2023
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), …
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Av Cristina Seceleanu, Virgile Prevosto
E-bok, 2023
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), …
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Andrey Sadovykh, Dragos Truscan m. fl.
Inbunden, 2023
2472 kr
Lägg i varukorg
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale …
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Alessandra Bagnato, Cristina Seceleanu m. fl.
E-bok, 2023
3181 kr
Lägg i varukorg
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale …
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Andrey Sadovykh, Dragos Truscan m. fl.
Häftad, 2024
2472 kr
Lägg i varukorg
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale …
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Av Jan Kofroň, Tiziana Margaria m. fl.
Häftad, 2023
736 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present …
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Av Cristina Seceleanu, Tiziana Margaria m. fl.
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023. The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present …
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Av Laure Petrucci, Cristina Seceleanu m. fl.
Häftad, 2017
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers …
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Av Ana Cavalcanti, Cristina Seceleanu m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers …
