Researchers portal

Portal del personal investigador

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

Portal del Investigador > Publicaciones > detalle publicacion

Detalle_Publicacion

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS

Otras comunicaciones del congreso o articulos relacionados con autores/as de la Universidad de Cantabria

From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact) - Comunicación a Congreso

Congreso: 35th Euromicro Conference on Real-Time Systems: ECRTS 2023, July 11-14, 2023, Vienna, Austria

Editorial: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Año de publicación: 2023

Tipo de publicación: Comunicación a Congreso

DOI: LIPIcs.ECRTS.2023.19

ISBN: 978-3-95977-280-8

Proyecto español: PID2021-124502OB-C42

Url de la publicación: https://doi.org/10.4230/LIPIcs.ECRTS.2023.19

Consultar en UCrea Leer publicación

Autoría

ALTMEYER, SEBASTIAN

ANDRÉ, ÉTIENNE

DAL ZILIO, SILVANO

FEJOZ, LOÏC

MICHAEL GONZALEZ HARBOUR

GRAF, SUSANNE

JOSE JAVIER GUTIERREZ GARCIA

HENIA, RAFIK

LE BOTLAN, DIDIER

LIPARI, GIUSEPPE

JULIO LUIS MEDINA PASAJE

NAVET, NICOLAS

QUINTON, SOPHIE

JUAN MARIA RIVAS CONCEPCION

SUN, YOUCHENG

Descargar referencia

Bib Ris