Sistemas Informáticos y Computación
Département
![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 UnidoPublications en collaboration avec des chercheurs de University of Leicester (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