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 14-Aug-20 . 13:25



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:An Approach to Static-Dynamic Software Analysis
Tipo:Capitulo de libro
Lugar:Formal Techniques for Safety-Critical Systems. Revised Selected Papers of FTSCS 2015. Volume 596 of the series Communications in Computer and Information Science pp 225-240. Springer
Fecha:2016-01
Autores: Pablo Pedro Sánchez
Pablo González
Ralf Huuck
Líneas:
Proyectos:
ISBN:978-3-319-29510-
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster