Antonio Linares

According to our database, Antonio Linares authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

A practical use of model checking for synthesis: generating a dam controller for flood management.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

Softw. Pract. Exp., 2011

2009

Using SCADE for Decision Support in Dam Management.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

Proceedings of the Modelling, 2009

Developing a Decision Support Tool for Dam Management with SPIN.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

Proceedings of the Formal Methods for Industrial Critical Systems, 2009