Antonio Linares

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Pract. Exp. 41 (11) (2011)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Developing a Decision Support Tool for Dam Management with SPIN. FMICS (2009)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Using SCADE for Decision Support in Dam Management. MSVVEIS (2009)