Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is J.M. Colon  [Clear All Filters]
2002
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
0 icon
02_MBCD_WODES.pdf
2001
[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M.  2001.  Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
0 icon
silva.pdf