KIT | KIT-Bibliothek | Impressum | Datenschutz

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

Masing, Leonard 1; Dörr, Tobias 1; Schade, Florian 1; Becker, Juergen 1; Keramidas, Georgios; Antonopoulos, Christos P.; Mavropoulos, Michail; Tiganourias, Efstratios; Kelefouras, Vasilios; Antonopoulos, Konstantinos; Voros, Nikolaos; Durak, Umut; Ahlbrecht, Alexander; Zaeske, Wanja; Panagiotou, Christos; Karadimas, Dimitris; Adler, Nico; Sailer, Andreas; Weber, Raphael; ... mehr


Postprint §
DOI: 10.5445/IR/1000147731
Veröffentlicht am 14.07.2022
Originalveröffentlichung
DOI: 10.23919/DATE54114.2022.9774534
Scopus
Zitationen: 13
Dimensions
Zitationen: 13
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 14.03.2022
Sprache Englisch
Identifikator ISBN: 978-1-6654-9637-7
KITopen-ID: 1000147731
Erschienen in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Antwerp, Belgium, 14-23 March 2022
Veranstaltung Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Online, 14.03.2022 – 23.03.2022
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 814-818
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page