Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant
Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, Davide SottaraVolume:
25
Year:
2010
Language:
english
Pages:
13
DOI:
10.1016/j.envsoft.2009.05.013
File:
PDF, 912 KB
english, 2010