Leticia Lavado

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 4

Top Topics

Computer Aided Software Engineering

Graphical User Interfaces

Intelligent Environments

Simulation Tool

Top Venues

J. Reliab. Intell. Environ.

ISSRE Workshops

Publications

Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez
Adding Correctness Checking to Test Automation Platform. ISSRE Workshops (2017)
Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. 3 (3) (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
A Simulation Tool for tccp Programs. WLP / WFLP (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo
A constraint-based language for modelling intelligent environments. J. Reliab. Intell. Environ. 3 (1) (2017)