XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
Dörr, Tobias
1; Schade, Florian 1; Becker, Juergen 1; Keramidas, Georgios; Petrellis, Nikos; Kelefouras, Vasilios; Mavropoulos, Michail; Antonopoulos, Konstantinos; Antonopoulos, Christos P.; Voros, Nikolaos; Ahlbrecht, Alexander; Zaeske, Wanja; Janson, Vincent; Nöldeke, Phillip; Durak, Umut; Panagiotou, Christos; Karadimas, Dimitris; Adler, Nico; Reichmann, Clemens;
1; Schade, Florian 1; Becker, Juergen 1; Keramidas, Georgios; Petrellis, Nikos; Kelefouras, Vasilios; Mavropoulos, Michail; Antonopoulos, Konstantinos; Antonopoulos, Christos P.; Voros, Nikolaos; Ahlbrecht, Alexander; Zaeske, Wanja; Janson, Vincent; Nöldeke, Phillip; Durak, Umut; Panagiotou, Christos; Karadimas, Dimitris; Adler, Nico; Reichmann, Clemens; | Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 25.03.2024 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-3503-4860-6 KITopen-ID: 1000174532 |
| Erschienen in | Design, Automation & Test in Europe Conference & Exhibition (DATE), Valencia, Spain, 25-27 March 2024 |
| Veranstaltung | 27th Design, Automation and Test in Europe Conference (DATE 2024), Valencia, Spanien, 25.03.2024 – 27.03.2024 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Nachgewiesen in | OpenAlex Dimensions Scopus |