Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Fri 24-May-19 . 16:29



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Discovering and Validating Concurrency Specification from Test Executions
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:International Workshop on Validating Software Tests Osaka
Fecha:2016-03
Autores: Pablo González
Álvaro Díaz
Pablo Pedro Sánchez
Líneas:
Proyectos:
ISBN:
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster