Buscar

Estamos realizando la búsqueda. Por favor, espere...

 Detalle_Publicacion

FramewORk for embedded system verification (Competition contribution)

 Congreso: Tools and algorithms for the construction and analysis of systems

Editorial: Springer

 Año de publicación: 2016

Nº de páginas: 3

Páginas: 429 a 431

Tipo de publicación: Comunicación a Congreso

 DOI: 10.1007/978-3-662-46681-0_36

ISBN: 978-3-662-46680-3

Proyecto español: TEC2011-28666-C04-02 ; BES-2012-055572

Url de la publicación: https://doi.org/10.1007/978-3-662-46681-0_36

Autores/as

PABLO GONZALEZ DE ALEDO MARUGAN