KIT | KIT-Bibliothek | Impressum | Datenschutz

An extensible approach to implicit incremental model analyses

Hinkel, Georg; Heinrich, Robert; Reussner, Ralf



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