Uncertainty-Aware DevOps for Cyber-Physical Systems and Runtime Verification

Springer eBooks 2026 Book chapter

View at publisher
Authors: Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling, Ka I Pun, Volker Stolz, Catia Trubiani
DOI: 10.1007/978-981-95-1786-2_5
Cited by: 0
References: 40

Fields of Study & Subjects

Advanced Software Engineering Methodologies Formal Methods in Verification Software Engineering Techniques and Practices

Publication details

Journal / source
Springer eBooks
Pages
83–101
Publication date
1 January 2026
Language
EN
Document type
Book chapter