Publicaciones en las que colabora con Antonio Da Silva Fariña (8)

2022

  1. Model-driven system-level validation and verification on the space software domain

    Software and Systems Modeling, Vol. 21, Núm. 6, pp. 2367-2394

2009

  1. Inyección de fallos en SystemC mediante instrumentación dinámica de código

    Actas de las IX Jornadas de computación reconfigurable y aplicaciones: Universidad de Alcalá, Departamento de Electrónica, Alcalá de Henares, 9-11 septiembre, 2009