Skip to contents

  1. Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Garrubba, Domenico Ernesto; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Formal Design and Validation of an Automatic Train Operation Control System

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2022

    Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2022), Seite 169-178

  2. Pagnano, Katia Borgia Barbosa; Bendit, Israel; Boquimpani, Carla; De Souza, Carmino Antonio; Miranda, Eliana C M; Zalcberg, Ilana; Larripa, Irene; Nardinelli, Luciana; Silveira, Rosana Antunes; Fogliatto, Laura; Spector, Nelson; Funke, Vaneuza; Pasquini, Ricardo; Hungria, Vania; Chiattone, Carlos Sérgio; Clementino, Nelma; Conchon, Monika; Moiraghi, Elena Beatriz; Lopez, Jose Luis; Pavlovsky, Carolina; Pavlovsky, Miguel A.; Cervera, Eduardo E; Meillon, Luis Antonio; Simões, Belinda; [...]

    BCR-ABL Mutations in Chronic Myeloid Leukemia Treated With Tyrosine Kinase Inhibitors and Impact on Survival

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Informa UK Limited, 2015

    Published in: Cancer Investigation, 33 (2015) 9, Seite 451-458