Carvalho S.V.

S.V. Carvalho

Information about the author S.V. Carvalho will soon be added to the site.
Found 2 papers in total
A Markovian decision model for optimizing a maintenance system with Coxian repair times and non-observable phases
2001
In this paper we analyze a manufacturing system with two different servers. The times...
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
2006
Statecharts are expressed in a graphical language to specify complex reactive systems....
Papers per page: