KIT | KIT-Bibliothek | Impressum | Datenschutz

Quantitative verification with adaptive uncertainty reduction

Alasmari, Naif; Calinescu, Radu ; Paterson, Colin; Mirandola, Raffaela 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1016/j.jss.2022.111275
Scopus
Zitationen: 4
Web of Science
Zitationen: 4
Dimensions
Zitationen: 4
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 06.2022
Sprache Englisch
Identifikator ISSN: 0164-1212
KITopen-ID: 1000174770
Erschienen in Journal of Systems and Software
Verlag Elsevier
Band 188
Seiten Article no: 111275
Nachgewiesen in Web of Science
Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page