Composing Model-Based Analysis Tools

Heinrich, Robert; Durán, Francisco; Talcott, Carolyn; Zschaler, Steffen; Reussner, Ralf

doi:10.1007/978-3-030-81915-6

Composing Model-Based Analysis Tools

Heinrich, Robert [Hrsg.] ¹; Durán, Francisco [Hrsg.]; Talcott, Carolyn [Hrsg.]; Zschaler, Steffen [Hrsg.]; Reussner, Ralf [Hrsg.] ¹
¹ Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Externe Links

Originalveröffentlichung
DOI: 10.1007/978-3-030-81915-6

Dimensions
Zitationen: 17

Export

Statistiken

Seitenaufrufe: 8
seit 07.10.2024

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp	Buch
Publikationsdatum	03.12.2021
Sprache	Englisch
Identifikator	ISBN: 978-3-030-81914-9 KITopen-ID: 1000174683
Auflage	1
Verlag	Springer International Publishing
Umfang	XVI, 307
Vorab online veröffentlicht am	02.12.2021
Nachgewiesen in	Dimensions

Repository KITopen

Composing Model-Based Analysis Tools