 |
|
 |
|
| WE HAVE CHANGED! | Home | Search | Help |
|
|
 |
||||||
|
||||||
 |
||||||
|
||||||
|
||||||
|
||||||
 |
||||||
|
||||||
 |
||||||
|
||||||
 |
||||||
|
||||||
|
| DISI -> Research -> Areas -> Parallel and distributed systems -> Research topic | ||
|
|
|
Research topic: Performance evaluationKEYWORDSStochastic process algebras, Stochastic Petri nets, High level Petri nets, Performance modellingACTIVITIESStudy 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. PEOPLE |
|
|
|
||