RT Journal Article
T1 A practical use of model checking for synthesis: generating a dam controller for flood management.
A1 Gallardo-Melgarejo, María del Mar
A1 Merino-Gómez, Pedro
A1 Panizo-Jaime, Laura
A1 De-Linares-del-Río, Carlos Antonio
K1 Inundaciones - Control
K1 Control automático
K1 Soporte lógico
PB Willey
YR 2011
FD 2011-02-08
LK https://hdl.handle.net/10630/30969
UL https://hdl.handle.net/10630/30969
LA eng
NO TIN2008-05932CENIT-E TECOAGUA CEN-20091028P07-TIC-03131
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026