An extensible approach to implicit incremental model analyses
| 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 |