ORCID
- Vasilios Kelefouras: 0000-0001-9591-913X
Publication Date
2022-03-14
Publication Title
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Recommended Citation
Masing, L., Dorr, T., Schade, F., Becker, J., Keramidas, G., Antonopoulos, C., Mavropoulos, M., Tiganourias, E., Kelefouras, V., Antonopoulos, K., Voros, N., Durak, U., Ahlbrecht, A., Zaeske, W., Panagiotou, C., Karadimas, D., Adler, N., Sailer, A., Weber, R., Wilhelm, T., Nemeth, G., Siddiqui, F., Khan, R., Garousi, V., Sezer, S., & Morales, V. (2022) 'XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems', 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), . Available at: 10.23919/date54114.2022.9774534