Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news


Projects  

Learn PAd - Model-Based Learning for Public Administrations

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours

comments to Stefania Gnesi