Research in the field of formal methods to analyse abstract and complex systems.
The main goal is to to give a complete characterisation of such systems through formal methods to study their performance both in qualitative and quantitavive settings.
Specialties: System abstraction, perfomance analisys, formal design
Research in the field of formal methods to analyse abstract and complex systems.
The main goal is to to give a complete characterisation of such systems through formal methods to study their performance both in qualitative and quantitavive settings.
Specialties: System abstraction, perfomance analisys, formal design
