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;
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; 
| 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 |