Esta web utiliza cookies propias y de terceros con fines técnicos y de análisis del tráfico. Puedes ver nuestra política de cookies aquí. Si continuas navegando, entendemos que aceptas su uso. Aceptar




 Technical Reports DIAB-16-03-1 

Código:  DIAB-16-03-1
Publicación:  11-03-2016
Título:  Bisimulation equivalence and Performance Evaluation in dtsiPBC
Detalle:
Bisimulation equivalence and performance analysis
of concurrent systems with discrete stochastic time in dtsiPBC



 Autores 

Autor Detalles
TARASYUK, IGOR V.
MACIA SOLER, HERMENEGILDA
VALERO RUIZ, VALENTIN



 Ficheros 

Fichero Bytes Detalles
dtsipbclmcs_tr_032016.pdf 858.8K