- -

Informes técnicos de investigación DSIC-MiST

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Informes técnicos de investigación DSIC-MiST

 
 

Colección de documentos de trabajo, informes técnicos y otro material de investigación realizado por los investigadores del Departamento de Sistemas Informáticos y Computación (DSIC). Grupo: Tecnología Software Multiparadigma de la Universitat Politècnica de València en el desarrollo de sus investigaciones.

Envíos recientes

  • thumb
    A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended) 
    Tamarit Muñoz, Salvador; Silva Galiana, Josep Francesc; Llorens Agost, María Luisa; Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2010-06-07)
    The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...