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

Filter
Active

Search results