Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
 
Código: DIAB-16-03-1
Fecha 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

 

Sindicación     Sindicación     Sindicación
Curso: 2016-17
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal