Towards Dynamic Dependable Systems Through Evidence-Based Continuous 
Certification

Faqeh, Rasha; Fetzer, Christof; Hermanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Köhl, Maximilian A.; Steinmetz, Marcel; Weidenbach, Christoph

doi:10.1007/978-3-030-61470-6_25

Local TagsRelease HistoryDetailsSummary

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

Faqeh, R., Fetzer, C., Hermanns, H., Hoffmann, J., Klauck, M., Köhl, M. A., et al. (2020). Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (pp. 416-439). Berlin: Springer. doi:10.1007/978-3-030-61470-6_25.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0007-7B0E-1 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-3360-C

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Faqeh, Rasha¹, Author
Fetzer, Christof¹, Author
Hermanns, Holger¹, Author
Hoffmann, Jörg¹, Author
Klauck, Michaela¹, Author
Köhl, Maximilian A.¹, Author
Steinmetz, Marcel¹, Author
Weidenbach, Christoph², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2020Date issued: 2020

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: DBLP:conf/isola/FaqehFH0KKSW20
DOI: 10.1007/978-3-030-61470-6_25

Degree: -

Event

show

hide

Title: 9th International Symposium on Leveraging Applications of Formal Methods, Veriﬁcation and Validation

Place of Event: Rhodes, Greece (Virtual Event)

Start-/End Date: 2020-10-20 - 2020-10-30

Legal Case

show

Project information

show

Source 1

show

hide

Title: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Subtitle : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020 ; Rhodes, Greece, October 20–30, 2020 ; Proceedings, Part II

Source Genre: Proceedings

Creator(s):
Margaria, Tiziana¹, Editor
Steffen, Bernhard¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 416 - 439 Identifier: ISBN: 978-3-030-61469-0

Source 2

show

hide

Title: Lecture Notes in Computer Science

Abbreviation : LNCS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 12477 Sequence Number: - Start / End Page: - Identifier: -