ORCID
- Kelefouras, Vasilios: 0000-0001-9591-913X
DOI
10.23919/date54114.2022.9774534
Publication Date
2022-03-14
Publication Title
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Organisational Unit
School of Engineering, Computing and Mathematics
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: https://doi.org/10.23919/date54114.2022.9774534