Massimo Callisto
67
Followers
Personal Information
Unternehmen/Arbeitsplatz
Ancona Area, Italy Italy
Beruf
R&D at Filippetti SPA
Branche
Education
Webseite
http://knowledge.cs.unicam.it
Info
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
Tags
phdunicam
wordpress
unicam
buddypress
web
internet
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken