Diseño y análisis formal de sistemas de software
FADOSS
Instituto de Biología Molecular y Celular del Cáncer de Salamanca / Centro de Investigación del Cáncer
Salamanca, EspañaPublicacions en col·laboració amb investigadors/es de Instituto de Biología Molecular y Celular del Cáncer de Salamanca / Centro de Investigación del Cáncer (1)
2016
-
Role of nerve growth factor signaling in cancer cell proliferation and survival using a reachability analysis approach
Advances in Intelligent Systems and Computing