Formal Verification of Wastewater Treatment Processes using Events detected from continuous signals by means of Artificial Neural Networks. Case Study: SBR Plant
Authors
Luccarini L., Bragadin G.L., Colombini G., Mancini M., Mello P., Montali M., Sottara D.
Year 2010
Pubblication type
Paper International Journal with referee
Reference
Luccarini L., Bragadin G.L., Colombini G., Mancini M., Mello P., Montali M., Sottara D. Environmental Modelling and Software 25 (5), pp. 648-660.