XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems

Leonard Masing, Tobias Dorr, Florian Schade, Juergen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios Kelefouras, Konstantinos Antonopoulos, Nikolaos Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas WilhelmGeza Nemeth, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Fingerprint

Dive into the research topics of 'XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems'. Together they form a unique fingerprint.

Computer Science