| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 11.2026 |
| Sprache | Englisch |
| Identifikator | ISSN: 0951-8320, 1879-0836 KITopen-ID: 1000192527 |
| Erschienen in | Reliability Engineering and System Safety |
| Verlag | Elsevier |
| Band | 275 |
| Seiten | 112679 |
| Vorab online veröffentlicht am | 01.04.2026 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | OpenAlex Scopus |