Alberto Carrasco Gallardo-rekin lankidetzan egindako argitalpenak (6)

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