Process Quality Assessment in automatic management of waste-water treatment plants using Formal Verification
Autori
Luccarini L., Bragadin G.L., Mancini M.L., Mello P., Montali M., Sottara D.
Anno 2008
Tipologia
Articolo Conferenza internazionale con referaggio
Referenza_Bibliografica
Luccarini L., Bragadin G.L., Mancini M.L., Mello P., Montali M., Sottara D. Proceedings ANDIS-DICEA-IWA. International Symposium on Sanitary and Environmental Engineering-SIDISA 08. Florence (Italy). 24-27 june 2008. (vol. 1, pp. 152/1 - 152/8).ISBN:978-88-903557-0-7.