Foundations

Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans; Durán, Francisco; Zschaler, Steffen

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

Foundations

Talcott, Carolyn ; Ananieva, Sofia ¹; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert ¹; Hills, Mark; Khakpour, Narges; Reussner, Ralf ¹; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans; Durán, Francisco; Zschaler, Steffen
¹ 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_2

Dimensions

Export

Statistiken

Seitenaufrufe: 7
seit 04.10.2024

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp	Buchaufsatz
Publikationsdatum	18.07.2021
Sprache	Englisch
Identifikator	ISBN: 978-3-030-81914-9 KITopen-ID: 1000174684
Erschienen in	Composing Model-Based Analysis Tools. Ed.: R. Heinrich
Verlag	Springer International Publishing
Seiten	9–37
Nachgewiesen in	Dimensions

Repository KITopen

Foundations