Biblio

Found 131 results
2017
Lavado L, Panizo L, Gallardo M-del-M, Merino P.  2017.  A Characterisation of verification tools for software defined networks. Journal of Reliable Intelligent Environments. 3:189–207.
Gallardo M-del-M, Lavado L, Panizo L, Titolo L.  2017.  A Constraint-based language for modelling intelligent environments. Journal of Reliable Intelligent Environments. 3:55–79.
Gallardo M-del-M, Lavado L, Panizo L, Titolo L.  2017.  A constraint-based language for modelling intelligent environments. Journal of Reliable Intelligent Environments. :1-25.
Panizo L, Salmeron A, Gallardo M-del-M, Merino P.  2017.  Guided test case generation for mobile apps in the TRIANGLE project: work in progress. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2017.  Integrating river basin DSSs with model checking. International Journal on Software Tools for Technology Transfer. :1–16.
Gallardo M-del-M, Lavado L, Panizo L.  2017.  A Simulation tool for TCCP programs (abstract). XVII Jornadas de Programación y Lenguajes, PROLE 2017.

Pages