@inproceedings{DBLP:conf/isola/FaqehFH0KKSW20,
TITLE = {Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification},
AUTHOR = {Faqeh, Rasha and Fetzer, Christof and Hermanns, Holger and Hoffmann, J{\"o}rg and Klauck, Michaela and K{\"o}hl, Maximilian A. and Steinmetz, Marcel and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-030-61469-0},
DOI = {10.1007/978-3-030-61470-6_25},
PUBLISHER = {Springer},
YEAR = {2020},
DATE = {2020},
BOOKTITLE = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles},
EDITOR = {Margaria, Tiziana and Steffen, Bernhard},
PAGES = {416--439},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {12477},
ADDRESS = {Rhodes, Greece (Virtual Event)},
}