KIT | KIT-Bibliothek | Impressum | Datenschutz

An extensible approach to implicit incremental model analyses

Hinkel, Georg; Heinrich, Robert 1; Reussner, Ralf 2
1 Karlsruher Institut für Technologie (KIT)
2 FZI Tichy, Forschungsbereich Softwaretechnik (SWT), Karlsruher Institut für Technologie (KIT)


Postprint §
DOI: 10.5445/IR/1000091136
Veröffentlicht am 25.11.2021
Originalveröffentlichung
DOI: 10.1007/s10270-019-00719-y
Scopus
Zitationen: 10
Web of Science
Zitationen: 2
Dimensions
Zitationen: 2
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2019
Sprache Englisch
Identifikator ISSN: 1619-1366, 1619-1374
KITopen-ID: 1000091136
Erschienen in Software and systems modeling
Verlag Springer
Band 18
Heft 5
Seiten 3151-3187
Vorab online veröffentlicht am 29.01.2019
Nachgewiesen in Web of Science
Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page