ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante doctor
Publikationen, an denen er mitarbeitet RUBÉN RAFAEL RUBIO CUÉLLAR (3)
2023
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2022
-
Improving Database Learning with an Automatic Judge
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
LearnSQL: un juez para el aprendizaje de las bases de datos
Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288