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)

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
Dimensions
Scopus
OpenAlex
Globale Ziele für nachhaltige Entwicklung Ziel 16 – Frieden, Gerechtigkeit und starke Institutionen

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
Seitenaufrufe: 233
seit 25.02.2019
Downloads: 293
seit 26.11.2021
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page