INFO and Contacts
- Available RSS sources
- Contacts
- Sitemap
- Terms of use
- Data privacy policy
- Accessibility
+ Accreditation
- Accreditation system
- Confidentiality policies
- Regolamento utilizzo strumentazione

CROSS-TEC Laboratory

You are in the menu dedicated to energy, sustainable mobility, smart cities, big data, enterprise networks, ICT for interoperability and for design.

Home CROSS-TEC

Catalogued CROSS-TEC skills

CROSS-TEC research units

CROSS-TEC Projects

Available results

Available services

Equipments

Bibliography

Lab's people

Technological Innovation ATLAS of ENEA

Regional Research Catalogue (HTN)

Regional Equipments Catalogue (HTN)

How to do to...

Roveri Smart Village

HTN Linkedin Group

The regional network

BIBLIOGRAPHY

>List all the bibliography

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.

Research unit

TIGRI

LastUpdate

18/04/2012

Related research topics

Code	Topic	Description
2.5	Trattamento reflui

impact factor

Falso

Il Laboratorio ha realizzato progetti finanziati dai Fondi europei della Regione Emilia-Romagna e dal Fondo per lo sviluppo e la coesione

Sitemap
Termini di uso
Politica sulla Privacy
Accessibilita'

Share this page with

Dichiarazione di accessibilità 6d66ae69-c6fd-4cb9-b536-be3fdfb0144c