XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems.
Leonard MasingTobias DörrFlorian SchadeJürgen BeckerGeorgios KeramidasChristos P. AntonopoulosMichail MavropoulosEfstratios TiganouriasVasilios I. KelefourasKonstantinos AntonopoulosNikos S. VorosUmut DurakAlexander AhlbrechtWanja ZaeskeChristos PanagiotouDimitris KaradimasNico AdlerAndreas SailerRaphael WeberThomas WilhelmGeza NemethFahad SiddiquiRafiullah KhanVahid GarousiSakir SezerVictor MoralesPublished in: DATE (2022)