KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Verification of Evolutionary Changes

Beckert, Bernhard; Mund, Jakob; Ulbrich, Mattias; Weigl, Alexander

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1007/978-3-030-13499-0_11
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Buchaufsatz
Publikationsjahr 2019
Sprache Englisch
Identifikator ISBN: 978-3-030-13499-0
KITopen-ID: 1000120146
Erschienen in Managed Software Evolution. Hrsg.: Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
Verlag Springer, Cham
Seiten 309–332
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page