RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante
JUAN
RODRÍGUEZ HORTALÁ
Ikertzailea 2008-2020 tartean
JUAN RODRÍGUEZ HORTALÁ-rekin lankidetzan egindako argitalpenak (1)
2023
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132