Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach
Browse the full ISoLA paper archive.