Sistemas Informáticos y Computación
Departamento
University of Leicester
Leicester, Reino UnidoPublicaciones en colaboración con investigadores/as 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