Biblio

Found 4 results
Filters: First Letter Of Title is R  [Clear All Filters]
2016
Díaz A, Recio ÁManuel, García CAugusto, Merino P.  2016.  Remote control and instrumentation of Android devices. 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016).
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River Basin Management with Spin. Model Checking Software: 23rd. International Symposium, SPIN.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River basin management with SPIN (abstract). XVI Jornadas de Programación y Lenguajes, PROLE 2016.