Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
(Ilmumisaeg: 15-Dec-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031422126)
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 deve...Loe edasi...
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
(Ilmumisaeg: 15-Dec-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031422126)
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 deve...Loe edasi...
(Ilmumisaeg: 28-Nov-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031492525)
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Vasteras, Sweden, in October 2023. The 11 full papers included in this book were carefully revie...Loe edasi...
(Ilmumisaeg: 28-Nov-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031492525)
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Vasteras, Sweden, in October 2023. The 11 full papers included in this book were carefully revie...Loe edasi...
(Ilmumisaeg: 19-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031388286)
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 (Int...Loe edasi...
(Ilmumisaeg: 19-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031388286)
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 (Int...Loe edasi...
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Sari: Programming and Software Engineering
(Ilmumisaeg: 02-Sep-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319671130)
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 Tur...Loe edasi...
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Sari: Programming and Software Engineering
(Ilmumisaeg: 02-Sep-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319671130)
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 Tur...Loe edasi...
