Composing Model Based Analysis Tools

Heinrich, Robert [Hrsg.]; Durán, Francisco [Hrsg.]; Talcott, Carolyn [Hrsg.]; Zschaler, Steffen [Hrsg.]

Seitenaufrufe: 88
seit 18.02.2022

Zugehörige Institution(en) am KIT	Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp	Buch
Publikationsjahr	2021
Sprache	Englisch
Identifikator	ISBN: 978-3-03-081914-9 KITopen-ID: 1000140209
Auflage	1. Aufl.
Verlag	Springer International Publishing
Umfang	XVI, 293 S.