WE HAVE CHANGED! Home | Search | Help  
Home Page Università di Genova
The Department
Research
Education
Library and services
Events and seminars
  DISI -> Research -> Areas -> Parallel and distributed systems -> Research topic

Research topic: Performance evaluation

KEYWORDS

Stochastic process algebras, Stochastic Petri nets, High level Petri nets, Performance modelling

ACTIVITIES

Study of either behavioural and performance properties of complex systems by means of formal methods. Multiparadigm approach based on the integration between stochastic process algebras and stochastic Petri nets.