Process Quality Assessment in automatic management of waste-water treatment plants using Formal Verification
Authors
Luccarini L., Bragadin G.L., Mancini M.L., Mello P., Montali M., Sottara D.
Year 2008
Pubblication type
Paper International Conference with referee
Reference
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.