Formal Verification of Wastewater Treatment Processes using Events detected from continuous signals by means of Artificial Neural Networks. Case Study: SBR Plant
Autori
Luccarini L., Bragadin G.L., Colombini G., Mancini M., Mello P., Montali M., Sottara D.
Anno 2010
Tipologia
Articolo Rivista internazionale con referaggio
Referenza_Bibliografica
Luccarini L., Bragadin G.L., Colombini G., Mancini M., Mello P., Montali M., Sottara D. Environmental Modelling and Software 25 (5), pp. 648-660.