Sistemas Informáticos y Computación
Saila
![Foto de Sistemas Informáticos y Computación](/img/uploaded/01B2D1DC2D007800FCEB4F504E14AEBE.png)
![Foto de University of Leicester](/img/noimage_org.png)
University of Leicester
Leicester, Reino UnidoUniversity of Leicester-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
2017
-
Validation of a Geant4 full model for the MIXS instrument at BepiColombo
2017 17th European Conference on Radiation and Its Effects on Components and Systems, RADECS 2017
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352